Examples for atomic formulae in the context of ''Jane Eyre''

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.