Discrete Math Let Pxy be x is the father of y Assume the uni

[Discrete Math]

Let P(x,y) be \"x is the father of y\". Assume the universe of discourse be the set of all people in the world. Use quantifiers and predicates to express the following statement:

Not everyone has a different father.

Please explain in details. Thank you very much!

Solution

Answer :

Let P(x,y) be \"x is the father of y\".

Assume the universe of discourse be the set of all people in the world.

Now we use quantifiers and predicates to express the following statement:

\" Not everyone has a different father \".

( x ) ¬ ( y ) p( x , y )