AnswerEX-b2: Difference between revisions
Jump to navigation
Jump to search
(Created page with "blonde(Walter) = false, because I(Walter) = {Walter} and <Walter> is '''not''' an element of I(blonde). ====Navigation==== *[[Formulae_and_their_interpretation|Link to t...") |
No edit summary |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
blonde(Walter) = false, | '''blonde(Walter)''' = ''false'', | ||
because | because | ||
I(Walter) = | I('''Walter''') = <''Walter''> | ||
and <Walter> is '''not''' an element of I(blonde). | 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).