SOLUTION: Can anybody finish this proof for me?
1. (V v ~R) > C
2. (~C & M) v (F & ~C)
/ R
Thank you, I'm very lost.
Algebra.Com
Question 981104: Can anybody finish this proof for me?
1. (V v ~R) > C
2. (~C & M) v (F & ~C)
/ R
Thank you, I'm very lost.
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
| Number | Statement | Lines Used | Reason |
|---|
| 1 | (V v ~R) > C | | |
| 2 | (~C & M) v (F & ~C) | | |
| :. | R | | |
| 3 | (~C & M) v (~C & F) | 2 | Commutation |
| 4 | ~C & (M v F) | 3 | Distribution |
| 5 | ~C | 4 | Simplification |
| 6 | ~(V v ~R) | 1,5 | Modus Tollens |
| 7 | ~V & ~~R | 6 | De Morgan's Law |
| 8 | ~V & R | 7 | Double Negation |
| 9 | R & ~V | 8 | Commutation |
| 10 | R | 9 | Simplification |
RELATED QUESTIONS
Can anybody help me complete this proof?
1. (C v S) v L
2. ~S & (~L v Z)
3. (L v C)... (answered by jim_thompson5910)
1. (J > O) > ~N
2. N v [~N > (E > N)]
3. ~E > [E v (N v ~O)]
4. J > U
Conclusion: ~O
(answered by Edwin McCravy)
Hi there, I'd love some help on answering these Logic Proof Questions:
1.
1. T > O
(answered by math_tutor2020)
Very lost, can somebody please help me finish this proof?
1. (N > K) & (S > L)
2.(N > (answered by jim_thompson5910)
Can anybody solve this proof for me?
1. L > Q
2. ~(Q & R)
3. L
/ ~R
-----... (answered by solver91311)
Question 1
1. ~(U v R)
2. (~R v N) ⊃ (P * H)
3. Q ⊃ ~H ~Q
Question 2... (answered by Edwin McCravy)
1. I > ( L & W)
2. (~W > H) > S
/ I > S
3. ~I v (L & W) 1 MI
4. (~I v... (answered by jim_thompson5910)
Prove the following three arguments to be valid using the method of Natural Deduction
A. (answered by solver91311)
Complete the following proofs using the Conditional Proof method.
1) 1. ~(P ∙... (answered by solver91311)