AnswerEX2-b1: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 10: | Line 10: | ||
<'''Paul,Lisa'''> '''is''' a set of I(''father of someone''). | <'''Paul,Lisa'''> '''is''' a set of I(''father of someone''). | ||
<span style="color:red">Comment Sailer:<br /> | |||
1) The pair is not the set of I. Rather the pair is in the set I('''father-of-someone''')<br /> | |||
2) don't use words with spaces in predicate names. Do '''father-of-someone''' instead of '''father of someone''' | |||
</span> | |||
====Navigation==== | ====Navigation==== | ||
*[[Formulae_and_their_interpretation|Link to the current exercise]] | *[[Formulae_and_their_interpretation|Link to the current exercise]] |
Revision as of 00:03, 29 January 2013
father of someone (Paul,Lisa) = true,
because
I(Paul) = <Paul>,
I(lisa) = <Lisa>
and
<Paul,Lisa> is a set of I(father of someone).
Comment Sailer:
1) The pair is not the set of I. Rather the pair is in the set I(father-of-someone)
2) don't use words with spaces in predicate names. Do father-of-someone instead of father of someone