SOLUTION: 1. (E ⊃ A) • (F ⊃ A) 2. E ∨ G 3. F ∨ ∼G / A

Algebra ->  Proofs -> SOLUTION: 1. (E ⊃ A) • (F ⊃ A) 2. E ∨ G 3. F ∨ ∼G / A       Log On


   

Question 1097983: 1. (E ⊃ A) • (F ⊃ A)
2. E ∨ G
3. F ∨ ∼G / A
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!

 1. (E ⊃ A) • (F ⊃ A) 
 2. E ∨ G 
 3. F ∨ ∼G    / A

 4.             |  ~A                  AIP
 5.             |  E ⊃ A              1, simp
 6.             |  ~E                 5,4, MT
 7.             |  G                  2,7, DS
 8.             | (F ⊃ A) • (E ⊃ A)  1, comm
 9.             |  F ⊃ A              8, simp
10.             |  ~F                 9,4, MT
11.             |  ~G                 3,7, DS
12.             |  G • ~G             7,11, conj   
13. ~~A                               4-12, IP
14. A                                 13, DN

Edwin