| 1. | Use derivations to establish each of the claims of entailment shown below. Notice that c is a claim of tautologousness; it requires a derivation without initial assumptions. All the resources used in a such a derivation will come from suppositions. | |
| a. | ¬ A ⇒ ¬ (A ∧ B) | |
| b. | ¬ B ⇒ ¬ (A ∧ B) ∧ ¬ (B ∧ C) | |
| c. | ⇒ ¬ (A ∧ ¬ A) | |
| d. | J ∧ C ⇒ J ∧ ¬ (J ∧ ¬ C) (see exercise 1j of 3.1.x) | |
| 2. | Use derivations to establish each of the claims of entailment shown below. You will need to introduce lemmas to exploit the negated compounds that appear as premises. For most, Adj is enough; but, for the last, you will need to use the rule LFR introduced in §2.4. | |
| a. | ¬ (A ∧ B), A ⇒ ¬ B | |
| b. | ¬ (A ∧ ¬ B), ¬ B ⇒ ¬ A | |
| c. | A, ¬ (A ∧ B), ¬ (A ∧ C) ⇒ ¬ B ∧ ¬ C | |
| d. | ¬ (A ∧ B), ¬ (C ∧ ¬ B) ⇒ ¬ (A ∧ C) | |