Use derivations to establish each of the claims of entailment shown below. You can maximize your practice in the use of CR by avoiding LFR and using Adj only when the goal is a conjunction.
| 1. | ¬ (A ∧ ¬ B), A ⇒ B |
| 2. | J ∧ ¬ (J ∧ ¬ C) ⇒ J ∧ C (see exercise 1j of 3.1.x) |
| 3. | ¬ (¬ (A ∧ B) ∧ C), ¬ A ⇒ ¬ C |
| 4. | ¬ (A ∧ ¬ (B ∧ C)) ⇒ ¬ (A ∧ ¬ B) |
| 5. | ¬ (A ∧ ¬ B), ¬ (B ∧ ¬ C) ⇒ ¬ (A ∧ ¬ C) |
| 6. | ¬ (A ∧ ¬ B), ¬ (A ∧ ¬ C) ⇒ ¬ (A ∧ ¬ (B ∧ C)) |