SOLUTION: Hello, Can you help me with the following Logic Proof? 1. ∼F ⊃ [∼G ⊃ (∼F ⊃ ∼L)] 2. G ∨ ∼F 3. ∼G /~L Thank You

Algebra ->  Proofs -> SOLUTION: Hello, Can you help me with the following Logic Proof? 1. ∼F ⊃ [∼G ⊃ (∼F ⊃ ∼L)] 2. G ∨ ∼F 3. ∼G /~L Thank You       Log On


   

Question 1143397: Hello,
Can you help me with the following Logic Proof?
1. ∼F ⊃ [∼G ⊃ (∼F ⊃ ∼L)]
2. G ∨ ∼F
3. ∼G
/~L
Thank You
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
1. ∼F ⊃ [∼G ⊃ (∼F ⊃ ∼L)] 
2. G ∨ ∼F 
3. ∼G                   /~L 

4. ~F                      2,3, Disjunctive Syllogism
5. ∼G ⊃ (∼F ⊃ ∼L)         1,4, Modus Ponens
6. (~G • ~F) ⊃ ~L            5, Exportation
7. ~G • ~F                  3,4, Conjunction 
8. ~L                       6,7, Modus Ponens

Edwin