SOLUTION: Please help me show F⊃G follows from [(LvW)*G)]≡F using the conditional proof.

Algebra.Com
Question 1076492: Please help me show F⊃G follows from [(LvW)*G)]≡F
using the conditional proof.

Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!

1. [(LvW)*G)] ≡ F     /F⊃G

            |2.   F                                    ACP 
            |3.   {[(LvW)*G)]⊃F}*{F⊃[(LvW)*G)]}     1, ME 
            |4.   {F⊃[(LvW)*G)]}*{[(LvW)*G)]⊃F}     3, commutativity
            |5.   F⊃[(LvW)*G)]                      4, simplification
            |6.   (LvW)*G                            5,2, MP
            |7.   G*(LvW)                            6, commutativity
            |8.   G                                  7, simplification
9. F⊃G    lines 2-8 CP

Note: 
ACP stands for "assumption for conditional proof".
ME stands for "material equivalence".
MP stands for "modus ponens".
CP stands for "conditional proof".

Edwin

RELATED QUESTIONS

Using a conditional proof: 1. (D v E) ⊃ (F · G) 2.( A v B) ⊃ (D · C) (answered by jim_thompson5910)
Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)
COMPLETE THE FOLLOWING PROOFS USING CONDITIONAL PROOF Premises: 1. G ⊃ (E... (answered by robertb)
Please help me complete the conditional proof for this problem: (F v ~ G) → ~ L (answered by jim_thompson5910)
1. (I&E) ⊃ ~F 2. F∨(G & H) 3. I≡E/ I⊃G (answered by Edwin McCravy)
Use natural deduction to derive the conclusion of the following arguments. Do not use... (answered by solver91311)
Proving Logical truths: [~y⊃(~f∨s)]≡[~f∨(y∨s)] How do... (answered by lynnlo)
~(X v ~W), ~(C v (F • G)), F≡~ (X•Y), (H•F) ⊃ (C vG) /: ~(HvX) Thank you (answered by lynnlo)
Using an ordinary proof (not a conditional or indirect proof) 1. S ⊃ (K ⋅... (answered by richwmiller)