English statements to first order logic?
I kind of understand what I need to do. However, it is the exact syntax that I am struggling with.
For the first answer,
$$C = \{ (a,x)|a,x \in M \land a \text{ is a child of } x \} \land W/L = \{x \in W \land x \notin L\}$$
I feel like I am on the right track, just whatever I am doing needs to be cleaned up a bit.
Thanks,
Solution 1:
For the first answer, I'd write
$$\forall x,(C(a,x)\land W(x)) \implies \lnot L(x).$$
(read: if $x$ is the female parent of $a$, $x$ is not alive)