View source for 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:

{{denL}}'''female(edward)'''{{denR}} = ''1''<br />
iff < I('''edward''') > &isin; I('''female''')<br />
iff ''MrRochester'' &isin; {''JaneEyre, BerthaMason''}.

Since this is not the case, {{denL}}'''female(edward)'''{{denR}} = ''0''.

== Second example ==

Formula: '''husband-of(edward,bertha)'''

Interpretation:

{{denL}}'''husband-of(edward,bertha)'''{{denR}} = ''1''<br />
iff < I('''edward'''), I('''bertha''') > &isin; I('''husband-of''')<br />
iff <''MrRochester'', ''BerthaMason''> &isin; { <''MrRochester,BerthaMason''>, <''MrRochester,JaneEyre''> }.

Since this is the case, {{denL}}'''husband-of(edward,bertha)'''{{denR}} = ''1''.

<hr />
Back to [[Assignmentsheet_Logic_Summer_Term_2013]]