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

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

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.

RELATED QUESTIONS
Can someone please help me with this proof using the 18 rules of inference? > is a... (answered by jim_thompson5910)

Prove the following three arguments to be valid using the method of Natural Deduction A. (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)

How do I complete the following proofs? Premises: 1. L ⊃ M 2. L 3. K v Q... (answered by Edwin McCravy)

1. H > (M > E) 2. ~[(M > H) > E] 3. (I + O) > [M + (X = P)] 4. [(K v B) > ~M] > (~I (answered by CPhill)

1. (I v K)>~L 2. (H v J) >I 3. ~K 4. H v K... (answered by jim_thompson5910)

1. (I v K) > ~L 2. (H v J) > I 3. ~K 4. H v K... (answered by jim_thompson5910)

Q=m-v/k solve for... (answered by Alan3354)

1. ~(K v F) 2. ~F ⊃ (K v C) 3. (G v C) ⊃ ~H / ~(K v... (answered by Edwin McCravy)