AnswerEX2-a1: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
|||
(2 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
==''family-dog'' is '''not''' a formula== | =='''family-dog''' is '''not''' a formula== | ||
It cannot be interpreted as true or false, as an individual is missing. | It cannot be interpreted as true or false, as an individual is missing. | ||
A possible formula would be: ''family dog ( | A possible formula would be: '''family-dog(Walter)''' | ||
====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:25, 29 January 2013
family-dog is not a formula
It cannot be interpreted as true or false, as an individual is missing. A possible formula would be: family-dog(Walter)