Question

Translate the following statements into idiomatic English where the domain consists of all (romantic) couples of persons, M ( x ) = x is married, and C ( x ) = x has children. Which statements are (in fact) true/false?

1. ∀x ( M ( x ) → C ( x ) )
2. ∀x ( C ( x ) → M ( x ) )
3. ∀x ( M ( x ) ∧ C ( x ) )
4. ∃x ( M ( x ) ∧ C ( x ) )
5. ∃x ( ¬M ( x ) ∧ ¬C ( x ) )

Answer 1

for every x :x is married then x has children----false

for every x: x has children then x is married----true

for every x: x is married and x has children----false

their exist x such that x is married and x has children-----true

their exist x such that x is not married and x donot have children -----true