ExerciseFOLSemantics-b: Difference between revisions
Jump to navigation
Jump to search
(Created page with "'''blonde(walter)''' = ''true'' iff<br /> < I('''walter''') > ∈ I('''blonde''') iff <br /> < ''Walter'' > ∈ {< ''Alice'' >,< ''Lisa'' >}. Since this is not the case...") |
No edit summary |
||
| Line 4: | Line 4: | ||
Since this is not the case, the overall formula is false. | 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]] | |||
Revision as of 14:44, 22 May 2013
blonde(walter) = true iff
< I(walter) > ∈ I(blonde) iff
< Walter > ∈ {< Alice >,< Lisa >}.
Since this is not the case, the overall formula is false.
- Link to the exercises on the computation of the interpretation
- the material for chapter 2
- the overview over all chapters