Formulae and their interpretation: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
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 answer click on the single expressions. | ""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 answer click on the single expressions."" | ||
*[[AnswerEX2-a1|family dog]] | """*[[AnswerEX2-a1|family dog]]""" | ||
*[[AnswerEX2-a2|blonde(Alice,Paul)]] | """*[[AnswerEX2-a2|blonde(Alice,Paul)]]""" | ||
*[[AnswerEX2-a3|father of someone(Alice,Lisa)]] | """*[[AnswerEX2-a3|father of someone(Alice,Lisa)]]""" | ||
*[[AnswerEX2-a4|tall(Alice)]] | """*[[AnswerEX2-a4|tall(Alice)]]""" | ||
*[[AnswerEX2-a5|enjoy watching football together]] | """*[[AnswerEX2-a5|enjoy watching football together]]""" | ||
| Line 16: | Line 16: | ||
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 task 1. See here. (Link zur Antwort) | ""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 task 1. See here. (Link zur Antwort)"" | ||
To check your answer click on the single formulae. | To check your answer click on the single formulae. | ||
* [[AnswerEX2-b1|father of someone(Paul,Lisa)]] | """* [[AnswerEX2-b1|father of someone(Paul,Lisa)]]""" | ||
* [[AnswerEX-b2|blonde(Walter)]] | """* [[AnswerEX-b2|blonde(Walter)]]""" | ||
* [[AnswerEX-b3|enjoy watching football together(Alice,Tom)]] | """* [[AnswerEX-b3|enjoy watching football together(Alice,Tom)]]""" | ||
Revision as of 17:16, 25 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 answer click on the single expressions.""
"""*family dog"""
"""*blonde(Alice,Paul)"""
"""*father of someone(Alice,Lisa)"""
"""*tall(Alice)"""
"""*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 task 1. See here. (Link zur Antwort)""
To check your answer click on the single formulae.
"""* father of someone(Paul,Lisa)"""
"""* blonde(Walter)"""
"""* enjoy watching football together(Alice,Tom)"""