Examples for atomic formulae in the context of ''Jane Eyre'': Difference between revisions
Jump to navigation
Jump to search
| 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 == | ||
Revision as of 21:00, 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.