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 |
||
| 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]] | ||
Revision as of 20:51, 25 January 2013
blonde(Walter) = false,
because
I(Walter) = <Walter>
and <Walter> is not an element of I(blonde).