AnswerEX2-a1: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
 
(11 intermediate revisions by 2 users not shown)
Line 1: Line 1:
=This 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 (Walter)''
A possible formula would be: '''family-dog(Walter)'''


====Navigation====
====Navigation====
[[Exercise_on_Predicate_Logic|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)

Navigation