Formulae and their interpretation: Difference between revisions
No edit summary |
No edit summary |
||
| Line 28: | Line 28: | ||
'''* [[AnswerEX-b3|''enjoy watching football together(Alice,Tom)'']]''' | '''* [[AnswerEX-b3|''enjoy watching football together(Alice,Tom)'']]''' | ||
<span style="color:red">Comment Sailer: Very nice exercises!!! Check the font question | <span style="color:red">Comment Sailer: Very nice exercises!!! Check the font question again and the minor details that I had given you on your example solution pages.</span> | ||
====Navigation==== | ====Navigation==== | ||
'''[[NMTS-Group9|Link to the Wiki Page]]''' | '''[[NMTS-Group9|Link to the Wiki Page]]''' | ||
Revision as of 00:06, 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 thhttp://www.lexical-resource-semantics.de/wiki/index.php?title=Formulae_and_their_interpretation&action=edite single expressions.""
Comment Sailer: there is something odd with the link.
*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)
Comment Sailer: Very nice exercises!!! Check the font question again and the minor details that I had given you on your example solution pages.