Example solution for the ''Jane Eyre'' context: Difference between revisions
Jump to navigation
Jump to search
(Created page with "= Task 4 = 1. Combine your two formulæ from Task 3 into two complex formulæ. Use the connectives “¬”, “∧”, and “⊃” 2. Compute the truth value of th...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 9: | Line 9: | ||
== First example formula == | == First example formula == | ||
'''¬ female(edward) ∧ husband-of(edward,bertha)''' | Formula: '''¬ female(edward) ∧ husband-of(edward,bertha)''' | ||
Interpretation: | |||
{{DenL}}'''¬ female(edward) ∧ husband-of(edward,bertha)'''{{DenR}} = ''1''<br /> | |||
iff {{DenL}}'''¬ female(edward)'''{{DenR}} = ''1'' and {{DenL}}'''husband-of(edward,bertha)'''{{DenR}} = ''1''<br /> | |||
iff {{DenL}}'''female(edward)'''{{DenR}} = ''0''and {{DenL}}'''husband-of(edward,bertha)'''{{DenR}} = ''1''. | |||
Since both conditions are met (as shown in task 3), the formula is true in our model, | |||
<hr /> | |||
Back to the [[Assignmentsheet_Logic_Summer_Term_2013|assignment sheet on chapter 2]]. | |||
== Second example formular == | == Second example formular == | ||
Latest revision as of 22:27, 28 June 2013
Task 4
1. Combine your two formulæ from Task 3 into two complex formulæ. Use the connectives “¬”, “∧”, and “⊃”
2. Compute the truth value of these complex formulæ. (You don’t need to do the computation for the atomic formulæ again.)
First example formula
Formula: ¬ female(edward) ∧ husband-of(edward,bertha)
Interpretation:
[[¬ female(edward) ∧ husband-of(edward,bertha)]] = 1
iff [[¬ female(edward)]] = 1 and [[husband-of(edward,bertha)]] = 1
iff [[female(edward)]] = 0and [[husband-of(edward,bertha)]] = 1.
Since both conditions are met (as shown in task 3), the formula is true in our model,
Back to the assignment sheet on chapter 2.