AnswerEX-b2: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
''blonde(Walter)'' = | '''blonde(Walter)''' = ''false'', | ||
because | because | ||
I(''Walter'') = < | I('''Walter''') = <''Walter''> | ||
and < | and <''Walter''> is '''not''' an element of I('''blonde'''). | ||
====Navigation==== | ====Navigation==== | ||
*[[Formulae_and_their_interpretation|Link to the current exercise]] | *[[Formulae_and_their_interpretation|Link to the current exercise]] |
Latest revision as of 09:42, 29 January 2013
blonde(Walter) = false,
because
I(Walter) = <Walter>
and <Walter> is not an element of I(blonde).