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

Algebra ->  Proofs -> SOLUTION: Please help me show F⊃G follows from [(LvW)*G)]≡F using the conditional proof.      Log On


   

Question 1076492: Please help me show F⊃G follows from [(LvW)*G)]≡F
using the conditional proof.
Answer by Edwin McCravy(20054) About Me  (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