Exercise: Translation
Translate to first-order logic:
- No one speaks French. (Note: you can take \emph{speak French} as a single lexical item. But, if you like, try to take the two words separately.)
- No one speaks French or Arabic.
- Every student is happy.
- Every student is happy and tired.
- Every student is happy, and every student is tired.
- Every student is happy or tired.
- Every student is happy, or every student is tired.