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. | ||
*family dog | *family dog [[AnswerEX2-a1|Check your answer]] | ||
*blonde(Alice,Paul) | *blonde(Alice,Paul) [[AnswerEX2-a2|Check your answer]] | ||
*father of someone(Alice,Lisa) | *father of someone(Alice,Lisa) [[AnswerEX2-a3|Check your answer]] | ||
*tall(Alice) | *tall(Alice) [[AnswerEX2-a4|Check your answer]] | ||
*enjoy watching football together(Walter) | *enjoy watching football together(Walter) [[AnswerEX2-a5|Check your answer]] | ||
Revision as of 18:36, 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.
- family dog Check your answer
- 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