Exercise: Logical form to lexicon and derivation
Write the needed lexical categories (phon, syn, sem) and derive the logical forms of the following sentences:
-
\(\interp{\text{Every man and John walk}} = (\forall x. man'x \to walk'x) \land walk'j'\)
- \(\text{Every woman who loves John walks} = \forall x. woman'x \land love'j'x \to walk'x\) .
- \(\text{Every woman whom John loves walks} = \forall x. woman'x \land love'x\,j' \to walk'x\) .