General Explanation Formulae: Difference between revisions
(Created page with "Formulae are expressions of predicate logic that can be interpreted as true or false according to the defined World. Properties are characteristics of single individuals. Ther...") |
|||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
Formulae are expressions of predicate logic that can be interpreted as true or false according to the defined World. | Formulae are expressions of predicate logic that can be interpreted as true or false according to the defined World. | ||
Properties are characteristics of single individuals. Therefore, if the expression is a property only one individual can stand in the brackets behind the expression e.g. blonde(Alice). | Properties are characteristics of single individuals.Therefore, if the expression is a property only one individual can stand in the brackets behind the expression e.g. blonde(Alice). | ||
Relations exist between more than one individual. Mostly the relations are two-sided. Therefore, if the expression is a two-sided relation, two individuals need to stand in the brackets behind the expression e.g. father of someone(Paul,Lisa). | Relations exist between more than one individual. Mostly the relations are two-sided. Therefore, if the expression is a two-sided relation, two individuals need to stand in the brackets behind the expression e.g. father of someone(Paul,Lisa). | ||
If the relations are more than two-sided, the number of individuals in brackets simply increases. Weather the interpretation of a formula is true or false does not have an influence on the formula itself. It stays a formula. | If the relations are more than two-sided, the number of individuals in brackets simply increases. Weather the interpretation of a formula is true or false does not have an influence on the formula itself. It stays a formula. | ||
====Navigation=== | ====Navigation==== | ||
*[[Formulae_and_their_interpretation|Link to the current exercise]] | |||
*[[NMTS-Group9|Link to the Wiki Page]] | |||
Latest revision as of 19:34, 24 January 2013
Formulae are expressions of predicate logic that can be interpreted as true or false according to the defined World. Properties are characteristics of single individuals.Therefore, if the expression is a property only one individual can stand in the brackets behind the expression e.g. blonde(Alice). Relations exist between more than one individual. Mostly the relations are two-sided. Therefore, if the expression is a two-sided relation, two individuals need to stand in the brackets behind the expression e.g. father of someone(Paul,Lisa). If the relations are more than two-sided, the number of individuals in brackets simply increases. Weather the interpretation of a formula is true or false does not have an influence on the formula itself. It stays a formula.