Examples for atomic formulae in the context of ''Jane Eyre'': Difference between revisions
Jump to navigation
Jump to search
(4 intermediate revisions by the same user not shown) | |||
Line 9: | Line 9: | ||
Interpretation: | Interpretation: | ||
{{denL}}'''female(edward)'''{{denR}} | {{denL}}'''female(edward)'''{{denR}} = ''1''<br /> | ||
iff < I('''edward''') > ∈ I('''female''')<br /> | |||
iff ''MrRochester'' ∈ {''JaneEyre, BerthaMason''}. | |||
Since this is not the case, {{denL}}'''female(edward)'''{{denR}} = ''0''. | |||
== Second example == | == Second example == | ||
Formula: '''husband-of(edward,bertha)''' | |||
Interpretation: | |||
{{denL}}'''husband-of(edward,bertha)'''{{denR}} = ''1''<br /> | |||
iff < I('''edward'''), I('''bertha''') > ∈ I('''husband-of''')<br /> | |||
iff <''MrRochester'', ''BerthaMason''> ∈ { <''MrRochester,BerthaMason''>, <''MrRochester,JaneEyre''> }. | |||
Since this is the case, {{denL}}'''husband-of(edward,bertha)'''{{denR}} = ''1''. | |||
<hr /> | |||
Back to [[Assignmentsheet_Logic_Summer_Term_2013]] |
Latest revision as of 21:12, 28 June 2013
Task 3
Write down two atomic formulæ and compute their truth value with respect to your model.
First example
Formula: female(edward)
Interpretation:
[[female(edward)]] = 1
iff < I(edward) > ∈ I(female)
iff MrRochester ∈ {JaneEyre, BerthaMason}.
Since this is not the case, [[female(edward)]] = 0.
Second example
Formula: husband-of(edward,bertha)
Interpretation:
[[husband-of(edward,bertha)]] = 1
iff < I(edward), I(bertha) > ∈ I(husband-of)
iff <MrRochester, BerthaMason> ∈ { <MrRochester,BerthaMason>, <MrRochester,JaneEyre> }.
Since this is the case, [[husband-of(edward,bertha)]] = 1.