AnswerEX2-a3: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
==''father of someone(Alice,Lisa)'' '''is''' a formula== | =='''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. | “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==== | ====Navigation==== | ||
*[[Formulae_and_their_interpretation|Link to the current exercise]] | *[[Formulae_and_their_interpretation|Link to the current exercise]] |
Latest revision as of 09:58, 29 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.