how would you write this sentence in predicate logic?

104 Views Asked by At

All Mary’s relatives live in Boston, only her cousin John lives in New-York.

I'm confused about how should I translate the second part, whithout getting a contradiction.

1

There are 1 best solutions below

3
On

For all x, if [ (x is a relative of Mary) and (x is not Mary's cousin John)] then x lives in Boston. AND Mary's cousin John lives in New York.

The "AND" here goes between the two, so overall it's a conjunction of two different predicate statements.

To make it look better one could invent predicates like $Rxy$ for x is a relative of y, and so on.