Exercise on Predicate Logic: Difference between revisions
Jump to navigation
Jump to search
Line 9: | Line 9: | ||
*[[AnswerEX2-a1|family dog]] | *[[AnswerEX2-a1|family dog]] | ||
*blonde(Alice,Paul) | *[[AnswerEX2-a2|blonde(Alice,Paul)]] | ||
*father of someone(Alice,Lisa) | *[[AnswerEX2-a3|father of someone(Alice,Lisa)]] | ||
* | *[[AnswerEX2-a4|tall(Alice)]] | ||
* | *[[AnswerEX2-a5|Enjoy watching football together]] |
Revision as of 18:38, 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.