Give the following expression in the form of a formula:

Question

Does anybody know how to give the following expression in the form of a formula?

Let $P$ be the set of all people, and let $K$ and $M$ be binary predicates on $P$ with the following interpretation:

$$K(x, y) ~:~ \text{‘x knows y’}$$

$$M(x, y) ~:~ \text{‘x is married to y’}$$

Write the following statement as a formula:

Everybody who Anna knows is married, except for Bernard.

Answer 1

HINT

For "Everybody Anna knows is married" :

$\forall x(K(Anna,x) \rightarrow \exists y M(x,y))$.