AnswerEX2-a5: 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: | ||
=='''enjoy watching football together(Walter)''' is '''not''' a formula== | =='''enjoy-watching-football-together(Walter)''' is '''not''' a formula== | ||
It cannot be interpreted as true or false. As “enjoy watching football together" is a relation two individuals are required. | It cannot be interpreted as true or false. As “enjoy-watching-football-together" is a relation two individuals are required. | ||
A possible formula would be: ''enjoy watching football together(Walter,Alice)'' | A possible formula would be: '''enjoy-watching-football-together(Walter,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:25, 29 January 2013
enjoy-watching-football-together(Walter) is not a formula
It cannot be interpreted as true or false. As “enjoy-watching-football-together" is a relation two individuals are required. A possible formula would be: enjoy-watching-football-together(Walter,Alice)