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

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

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

RELATED QUESTIONS
I have 3 questions on my exercise that really have me stumped. Here are the directions... (answered by jim_thompson5910)

Prove the following three arguments to be valid using the method of Natural Deduction A. (answered by solver91311)

do a proof for the following arguments: 1. XvY 2. ~F 3. D > X 4. ~Y&F /~D&F... (answered by solver91311)

Good morning sir's and ma'ams..Kindly help me answer the following: Construct a formal... (answered by robertb)

I need help finishing this proof. 1. (A v B) v C 2. ~B & ~ E 3. (A v C) > (E &... (answered by jim_thompson5910)

How do I solve these proofs? Number one 1.~B v[(C>D)&(E>D)] 2. B&(C v E)... (answered by jim_thompson5910)

Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)

Question 1 please help me with this question. If the universal set U=... (answered by MathLover1)

Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)