|
Question 325276: I have 3 questions on my exercise that really have me stumped.
Here are the directions for the exercise
"In each of these examples, and in all exercises immediately following, a formal proof for each argument may be constructed by adding just two additional statements. This will be an easy task if the nine elementary valid argument forms are clearly in mind. Bear in mind that the final line in the sequence of each proof is always the conclusion of the argument being proved."
(1). V v W
~V
Therefore W v X
(2) Q > R
R > S
~S
Therefore ~Q . ~R
(3)(A v B) > ~C
C V D
A
Therefore D.
Answer by jim_thompson5910(35256)   (Show Source):
You can put this solution on YOUR website! I'll do the first two to get you started
# 1
1. V v W
2. ~V / :. W v X
---------------------------
3. W 1,2 Disjuntive Syllogism
4. W v X 3 Addition
=================
# 2
1. Q -> R
2. R -> S
3. ~S
---------------------------
4. ~R 2,3 Modus Tollens
5. ~Q 1,4 Modus Tollens
6. ~Q * ~R 5,4 Conjunction
|
|
|
| |
