How do I write "X said to Y that they would do A today, but B happened yesterday" in predicate logic?
So for example; Bart said to Lisa that he would braid her hair today, but he chopped his hand off yesterday'
Edit for possible answer: I have come up with two possible answers, although both may be completely off track...
BRAID(bart, lisa, hair) ∧ CHOP(bart, hand)
SAID(bart(BRAID(bart, lisa, hair)) ∧ CHOP(bart, hand)
Edit for context: my question just states 'predicate logic notation'. We have never called or been taught it under any other name, but some of my textbooks use the term 'first order logic' The sort of things we have covered so far are:
- • L: is a linguist • R: reads • S: is a semanticist • c: Chomsky • g: Gosia
- Gosia is not a linguist but she reads Chomsky anyway