Exercise on Predicate Logic: Difference between revisions
Jump to navigation
Jump to search
(→Which) |
|||
Line 5: | Line 5: | ||
==Formulae and their interpretation== | ==Formulae and their interpretation== | ||
a) Which | 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 | |||
*blonde(Alice,Paul) | |||
*father of someone(Alice,Lisa) | |||
*tall(Alice) | |||
*enjoy watching football together(Walter) |
Revision as of 18:33, 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
- blonde(Alice,Paul)
- father of someone(Alice,Lisa)
- tall(Alice)
- enjoy watching football together(Walter)