1. ## Reading predicates and counterexample

How do I read these two predicates:

D = are natural numbers
P(x) = x is even number
Q(x) = x is odd number

$
\forall x (P(x) \lor Q(x))

\forall x P(x) \lor \forall x Q(x)

$

And the first predicate has a True value, the second has False. How?

2. because the first one reads that for all possible values of x (in the natural numbers), whatever value you take could be either odd or even. obviously true!

the second reads that for all x, it is an even number and for all x (in another case!) it is an odd number. which is quite clearly false!

the difference between the two statements is that the first gives one case being either odd or even (which is true, as any natural number you choose can only be odd or even) where the second statement gives two separate cases each claiming something is false..

do you see?

3. Yes I see, thank you.
$

\forall x (P(x) \land Q(x))
$

so, this is also true.

For all x in natural numbers there are odd and even. Is it right?

4. Originally Posted by Nforce
Yes I see, thank you.
$

\forall x (P(x) \land Q(x))
$

so, this is also true.

For all x in natural numbers there are odd and even. Is it right?
no unfortunately that is false! you have said there that x can be both odd and even. which is untrue