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

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

RELATED QUESTIONS
I am working on proofs for my logic homework. Here are the premises: 1. ~S -> (~G v (answered by jim_thompson5910)

Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)

1. (W . (R v T ) ) > P 2. ( P v L ) > ~ H 3. W 4. R :. ~... (answered by jim_thompson5910)

I need help completing proofs for my deductive logic class. Can you help me with this... (answered by jim_thompson5910)

I don't get this problem on transforming formulas. The did the problem and got a answer,... (answered by richwmiller)

Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)

P=2(l+w) (answered by Fombitz)

1. I > ( L & W) 2. (~W > H) > S / I > S 3. ~I v (L & W) 1 MI 4. (~I v... (answered by jim_thompson5910)

ok i know that p=2L+2w and that the answer is L=-w+p/2 but every time i try to write it i (answered by MathLover1,It is costly)