Part 1: Citations for Proofs The following proof is missing its citations (rule and line numbers), add them wherever the
Posted: Thu Jul 07, 2022 11:40 am
Part 1: Citations for Proofs The following proof is missing itscitations (rule and line numbers), add them wherever they arerequired. Note, this will require the use of both basic and derivedrules for SL (6 points). [(A ∨ B) (C ∨ (F H))], (A ∧ ¬C), (H C) ⊢ ¬F
1. [(A ∨ B) (C ∨ (F H))]
2. (A ∧ ¬C)
3. (H C)
4. A
5. ¬C
6. (A ∨ B)
7. (C ∨ (F H))
8. (F H)
9. ¬H
10. ¬F
1. [(A ∨ B) (C ∨ (F H))]
2. (A ∧ ¬C)
3. (H C)
4. A
5. ¬C
6. (A ∨ B)
7. (C ∨ (F H))
8. (F H)
9. ¬H
10. ¬F