AnswerEX2-a3: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 5: Line 5:
====Navigation====
====Navigation====


*[[Exercise_on_Predicate_Logic|Link to the current exercise]]
*[[Formulae_and_their_interpretation|Link to the current exercise]]

Revision as of 19:33, 24 January 2013

father of someone(Alice,Lisa) is a formula

“Father of someone” is a relation and therefore requires two individuals in brackets. Of course, this formula is not true. Alice can never be a father of someone. However, although the interpretation of the formula is wrong, it is still a formula as it can be interpreted as true or false.

Navigation