AnswerEX2-a2: Difference between revisions
Jump to navigation
Jump to search
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
==''blonde(Alice,Paul)'' is '''not''' a formula== | =='''blonde(Alice,Paul)''' is '''not''' a formula== | ||
It cannot be interpreted as true or false. As “blonde” is a property and not a relation it can therefore only have one individual in brackets. | It cannot be interpreted as true or false. As “blonde” is a property and not a relation it can therefore only have one individual in brackets. | ||
A possible formula would be: ''blonde( | A possible formula would be: '''blonde(Alice)''' | ||
====Navigation==== | ====Navigation==== | ||
*[[Formulae_and_their_interpretation|Link to the current exercise]] | *[[Formulae_and_their_interpretation|Link to the current exercise]] | ||
Latest revision as of 13:26, 29 January 2013
blonde(Alice,Paul) is not a formula
It cannot be interpreted as true or false. As “blonde” is a property and not a relation it can therefore only have one individual in brackets. A possible formula would be: blonde(Alice)