Exercise on Predicate Logic: Difference between revisions
Jump to navigation
Jump to search
| Line 7: | Line 7: | ||
a) Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one. | a) Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one. | ||
* | *[[AnswerEX2-a1|family dog]] | ||
*blonde(Alice,Paul) [[AnswerEX2-a2|Check your answer]] | *blonde(Alice,Paul) [[AnswerEX2-a2|Check your answer]] | ||
Revision as of 18:37, 24 January 2013
Create a World
Marthe´s Aufgabe
Formulae and their interpretation
a) Which of the following expressions of predicate logic are formulae? Give an explanation for your decision. If the expression is not a formula try to change it into one.
- blonde(Alice,Paul) Check your answer
- father of someone(Alice,Lisa) Check your answer
- tall(Alice) Check your answer
- enjoy watching football together(Walter) Check your answer