Formulae and their interpretation

From Lexical Resource Semantics
Revision as of 11:45, 28 January 2013 by Lisa (talk | contribs)
Jump to navigation Jump to search

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.""


*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 exercise 1d). See here To check your answers click on the single formulae.


* father of someone(Paul,Lisa)

* blonde(Walter)

* enjoy watching football together(Alice,Tom)


Navigation

Link to the Wiki Page