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
->
Proofs
-> 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.
Log On
Logic: Proofs
Logic
Solvers
Solvers
Lessons
Lessons
Answers archive
Answers
Click here to see ALL problems on Proofs
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