Formulae and their interpretation: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| (14 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
'''2.''' | |||
'''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. To check your answers click on single expressions. | |||
'''*[[AnswerEX2-a1| | '''*[[AnswerEX2-a1|family dog]]''' | ||
'''*[[AnswerEX2-a2| | '''*[[AnswerEX2-a2|blonde(Alice,Paul)]]''' | ||
'''*[[AnswerEX2-a3| | '''*[[AnswerEX2-a3|father-of-someone(Alice,Lisa)]]''' | ||
'''*[[AnswerEX2-a4| | '''*[[AnswerEX2-a4|tall(Alice)]]''' | ||
'''*[[AnswerEX2-a5| | '''*[[AnswerEX2-a5|enjoy-watching-football-together]]''' | ||
| Line 16: | Line 17: | ||
'''b)''' Interpret the following formulae as true or false. If you have not defined these relations or properties in your World use the ones given in the World of exercise 1d). [[AnswerEX1-d|See here]] | |||
To check your | To check your answers click on the single formulae. | ||
'''* [[AnswerEX2-b1| | '''* [[AnswerEX2-b1|father-of-someone(Paul,Lisa)]]''' | ||
'''* [[AnswerEX-b2| | '''* [[AnswerEX-b2|blonde(Walter)]]''' | ||
'''* [[AnswerEX-b3| | '''* [[AnswerEX-b3|enjoy-watching-football-together(Alice,Tom)]]''' | ||
Latest revision as of 09:58, 29 January 2013
2. 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. To check your answers click on single expressions.
*father-of-someone(Alice,Lisa)
*enjoy-watching-football-together
For a general explanation of formulae Click here
b) Interpret the following formulae as true or false. If you have not defined these relations or properties in your World use the ones given in the World of exercise 1d). See here
To check your answers click on the single formulae.
* father-of-someone(Paul,Lisa)
* enjoy-watching-football-together(Alice,Tom)