Examples for atomic formulae in the context of ''Jane Eyre'': Difference between revisions
Jump to navigation
Jump to search
(Created page with "= Task 3 = Write down two atomic formulæ and compute their truth value with respect to your model. == First example == Formula: '''female(edward)''' Interpretation: [ ['...") |
|||
Line 9: | Line 9: | ||
Interpretation: | Interpretation: | ||
[ ['''female(edward)'''] ] | [[ '''female(edward)''' ]] | ||
== Second example == | == Second example == |
Revision as of 20:49, 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: