AnswerEX-b2: Difference between revisions

From Lexical Resource Semantics
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) = {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).

Navigation