Examples for atomic formulae in the context of ''Jane Eyre''
Jump to navigation
Jump to search
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.