Finding the truth value of a quantified statement

171 Views Asked by At

The problem reads:

Let $\text{isFatherOf}(x,y)$ be "$x$ is the father of $y$" and the domain $D = \{\text{all people now living or who have lived}\}$. Find the truth value of the quantified statement $\forall x \, \exists y \, \text{isFatherOf}(x,y)$.

The answer given is "False" but I'm not sure how to come to that answer. Would it be best to write out the statement in an English sentence or use a formulaic method to determine the truth value?

1

There are 1 best solutions below

0
On

Translating it into English is always a good idea to get some better sense of the statement.

This particular statement translates to 'Everyone is (or was) the father of someone'

I think you can see why this is false.