AnswerEX2-b1: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
|||
| Line 9: | Line 9: | ||
and | and | ||
<Paul,Lisa> is a set of I(father of someone). | <Paul,Lisa> '''is''' a set of I(father of someone). | ||
====Navigation==== | ====Navigation==== | ||
*[[Formulae_and_their_interpretation|Link to the current exercise]] | *[[Formulae_and_their_interpretation|Link to the current exercise]] | ||
Revision as of 19:39, 24 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).