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.Com
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)   (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

RELATED QUESTIONS

could someone please help me with this logic proof? 1. F -> G 2. F v G conclusion (answered by jim_thompson5910)
Hello can you help me with this please. State the domain of the following with and... (answered by MathLover1)
Please help me complete the conditional proof for this problem: (F v ~ G) → ~ L (answered by jim_thompson5910)
Please help me solve this logic proof: 1. E→H 2. (E ∨ F) • (E ∨ G) (answered by jim_thompson5910)
3√x g(x) find expressions a. ( f o g)(4) b. (g o f)(2) c. (f o f)(1) d. (g o g) (answered by fractalier)
Please can you help me evaluate the following for f(x)=(x-1)/x and g(x)={{{ sqrt(x+3)}}} (answered by Tatiana_Stebko,solver91311)
can you help me solve: f(x)= x-4 and g(x)=x+2 1. f-g 2.... (answered by stanbon)
can you help me solve: f(x)= x-4 and g(x)=x+2 1. f-g 2.... (answered by Nate,funmath)
Can you help me find the domain for the following? f(x)=sqrt x-8 h(x)=3x^2+5x-3... (answered by edjones)