From Lexical Resource Semantics
Jump to navigation
Jump to search
|
|
| Line 1: |
Line 1: |
| '''blonde(walter)''' = ''true'' iff<br />
| |
| < I('''walter''') > ∈ I('''blonde''') iff <br />
| |
| < ''Walter'' > ∈ {< ''Alice'' >,< ''Lisa'' >}.
| |
|
| |
|
| Since this is not the case, the overall formula is false.
| |
|
| |
| ====Navigation====
| |
|
| |
| *[[Exercise_Semantics_of_Predicate_Logic|Link to the exercises on the computation of the interpretation]]
| |
| * the material for [[Textbook-chapters#Chapter_2:_Predicate_logic|chapter 2]]
| |
| * the overview over [[Textbook-chapters|all chapters]]
| |
Latest revision as of 14:45, 22 May 2013