SOLUTION: Well I got most of my work done, but this one is stumping me. Logic Proofs. Premises: 1. ~(P & F) 2. ((W v L) -> P) & W 3. L -> F Conclusion: ~L

Algebra ->  Proofs -> SOLUTION: Well I got most of my work done, but this one is stumping me. Logic Proofs. Premises: 1. ~(P & F) 2. ((W v L) -> P) & W 3. L -> F Conclusion: ~L      Log On


   

Question 248111: Well I got most of my work done, but this one is stumping me. Logic Proofs.
Premises:
1. ~(P & F)
2. ((W v L) -> P) & W
3. L -> F
Conclusion:
~L
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.  ~(P & F)
2.  ((W v L) -> P) & W
3.  L -> F
--------------------------------------
4.  W & ((W v L) -> P)         2     Commutation
5.  W                          4     Simplification
6.  W v L                      5     Addition
7.  (W v L) -> P               2     Simplification
8.  P                          7,6   Modus Ponens                                 
9.  ~~P                        8     Double Negation
10. ~P v ~F                    1     De Morgan's Law
11. ~F                         10,9  Disjunctive Syllogism
12. ~L                         3,11  Modus Tollens