AnswerEX2-b1: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
father of someone ( | <nowiki>[[father of someone (paul,lisa)]] = true, | ||
because | because | ||
I( | I(paul) = {paul}, | ||
I( | I(lisa) = {lisa} | ||
and | and | ||
< | <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 13:48, 25 January 2013
<nowiki>father of someone (paul,lisa) = true,
because
I(paul) = {paul},
I(lisa) = {lisa}
and
<paul,lisa> is a set of I(father of someone).