SOLUTION: Write a formal proof of validity for the given arguments A) 1. (R>S) 2. V v~S 3. ~V/.'.~R B) 1. W.(XvY) 2. W 3. ~X/.'.YvZ C) 1. A * ~ B / .'. B

Click here to see ALL problems on Proofs

Question 613312: Write a formal proof of validity for the given arguments
A)
1. (R>S)
2. V v~S
3. ~V/.'.~R
B)
1. W.(XvY)
2. W
3. ~X/.'.YvZ
C)
1. A * ~ B / .'. B > C
Answer by jim_thompson5910(35256) (Show Source):
You can put this solution on YOUR website!

1. (R>S) 2. V v~S 3. ~V/.'.~R --------------- 4. ~S 2,3 Disjunctive syllogism 5. ~R 1,4 Modus Tollens

=======================================================
B)

1. W.(XvY) 2. W 3. ~X/.'.YvZ --------------- 4. (X v Y).W 1 Commutation 5. X v Y 4 Simplification 6. Y v X 5 Commutation 7. Y 6,3 Disjunctive syllogism 8. Y v Z 7 Addition

=======================================================
C)

1. A * ~ B / .'. B > C --------------------- 2. ~B * A 1 Commutation 3. ~B 2 Simplification 4. ~B v C 3 Addition 5. B > C 4 Material Implication

SOLUTION: Write a formal proof of validity for the given arguments A) 1. (R>S) 2. V v~S 3. ~V/.'.~R B) 1. W.(XvY) 2. W 3. ~X/.'.YvZ C) 1. A * ~ B / .'. B > C