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...") |
(No difference)
|
Revision as of 22:23, 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
¬ female(edward) ∧ husband-of(edward,bertha)