Example solution for the ''Jane Eyre'' context

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)