SOLUTION: Hi guys! I'm a stuck on this proof! Can someone explain the rest of the problem? 1. K > (Q & V) / K > V 2. K > (V & Q) 1 Com. 3. K

Click here to see ALL problems on Proofs

Question 981862: Hi guys! I'm a stuck on this proof! Can someone explain the rest of the problem?
1. K > (Q & V)
/ K > V
2. K > (V & Q) 1 Com.
3. K > V 2 Simp.
I got those steps, but don't seem to know where to go next. Thanks!
Answer by jim_thompson5910(35256) (Show Source):
You can put this solution on YOUR website!
Going from K > (V & Q) to K > V is NOT a valid operation. The simplification rule only works on entire lines (not parts of them).

Number Statement Lines Used Reason
1 K > (Q & V)
:. K > V
2 K > (V & Q) 1 Commutation
3 ~K v (V & Q) 2 Material Implication
4 (~K v V) & (~K v Q) 3 Distribution
5 ~K v V 4 Simplification
6 K > V 5 Material Implication

Notice how on line 5, the simplification was used on the entire line.

SOLUTION: Hi guys! I'm a stuck on this proof! Can someone explain the rest of the problem? 1. K > (Q & V) / K > V 2. K > (V & Q) 1 Com. 3. K > V 2 Simp. I got tho