SOLUTION: F ⊃ (G ● H ) // (A ⊃ F ) ⊃ (A ⊃ H ) What is the proper Conditional Proof?

Question 1193809: F ⊃ (G ● H ) // (A ⊃ F ) ⊃ (A ⊃ H )
What is the proper Conditional Proof?
Answer by mccravyedwin(408) (Show Source): You can put this solution on YOUR website!


1.  F ⊃ (G ● H )       // (A ⊃ F ) ⊃ (A ⊃ H )

                        |2. A ⊃ F      ACP
                                      |3. A       ACP
                                      |4. F       2, MP
                                      |5. G ● H   1, MP
                                      |6. H ● G   5, comm.
                                      |7. H       6, simp.
                        |8. A ⊃ H       CP     lines 3-7 

9.  (A ⊃ F) ⊃ (A ⊃ H)  CP lines 2-8 

Edwin

RELATED QUESTIONS
Use Conditional Proof to solve the following argument E ⊃ (F ⊃ G) H ⊃ (G ⊃ I) (answered by AnlytcPhil)

i need help solving this indirect proof 1. (R v S) > (H & ~G) 2. (K v R) > (G v ~H) (answered by Edwin McCravy)

Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)

Premise: 1. F Conclusion: (G ⊃ H) ∨ (~G ⊃ J) Use either indirect proof or... (answered by Edwin McCravy,mccravyedwin)

I really need some help! Can anyone help me? If f(x)=ln x, g(x)=e^4^x, and h(x)= x^3,... (answered by sheldonbbtrocks)

F, G, and H are on a straight line where F is 5 kilometers from H. F is also 1 kilometer... (answered by ikleyn)

I need someones help... If f(x)=lnx,g(x)=e^8x, and h(x)=x^7.....find the following. (answered by khai)

Find f(a), f(a+h), and the difference quotient f(a+h)-f(a)/h, where h is unequal to 0.... (answered by josgarithmetic)

3.14 Given that f(x)=2x+7 and g(x)=5x^2, find f+g, f-g, fg, and f/g. Determine the... (answered by nerdybill)