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

Algebra.Com
Question 1097983: 1. (E ⊃ A) • (F ⊃ A)
2. E ∨ G
3. F ∨ ∼G / A
Answer by Edwin McCravy(20055)   (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
RELATED QUESTIONS

Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)
1. (I&E) ⊃ ~F 2. F∨(G & H) 3. I≡E/ I⊃G (answered by Edwin McCravy)
1. N ⊃ (F • A) 2. B ⊃ (R • F) / (N ∨ B) ⊃ (A ∨... (answered by Edwin McCravy)
Give reasons for the steps, given premises 1, 2 and 3:

1.  X ⊃ (Y ⊃  (answered by Edwin McCravy)

Please help me solve this proof!
Premises:
1. (A⊃B)&(C⊃D)
2.... (answered by Edwin McCravy)

Create a proof for the following argument

1. M ⊃ H
2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)

(M ∨ R) ⊃ ∼K
(G ⊃ ∼K) ⊃ C
G ⊃ (M ∨ R)    (answered by solver91311)

1.	Q ⊃ (H • ∼F)
2.	∼(Q • ∼M)
3.	∼G ⊃ (Q •... (answered by Edwin McCravy)

1.  (E∨F)→~G 2.  ~H 3.  H∨K 4.  (K∨L)→E ∴... (answered by jim_thompson5910)