I have another question: I have to show that this argument is valid, I haven't started on it yet but my instructor stated, I think, that there's two ways to answer this this question either using truth tables or using reasons in proof which is the shortcut. Can anyone help me? I do want to use the truth table but it would be a hassle since there's 5 variables and 2^5 would result in 32 rows for each function.
Hey man, where is your previous assignment? Did you figure that one out?
As for this one, I am not sure which rules of inference you are allowed to use, so this is how I would teach it to my students:
All these are premises and therefore assumed to be true:
1. r => p
2. ~w ∨ r
3. (t ∧ q) => (p ∨ s)
4. q ∨ w
5.~p
6.~r => t
Nothing except premise 5 tells us something with regards to the truth values of any atomic sentence, so by premise 5 we know that "p" is false. If "p" shows up as a consequent in a conditional, and we know it to be false, then we also know that the conditional's antecedent, here "r", is false. Therefore "~r" is true
7. ~r (By Modus tollendo tollens, from lines 1 and 5)
Now just look where "r" shows up, these are premises 2. and 6. In premise 2. we know that at least one of the disjuncts has to be true, and since "r" is false, "~w" is true.
8. ~w (By disjunctive syllogism or Modus tollendo ponens, from lines 2. and 7.)
Now for premises 6, whenever we have the antecedent of a conditional known to be true, then the consequent must also be true, here "t".
9. t (By Modus ponendo ponens, from 6 and 7.)
As "w" is false, we have a look where it appears again, and that is premise 4. Again, disjunctive syllogism, so "q" is true.
10. q (disjunctive syllogism, from 4. and 8.)
As "t" and "q" are both true, so must be "t^q".
11. t^q (Conjunction Introduction, from 9 and 10)
But that's the antecedent of premise 3, so again MPP
12. p v s (By Modus ponendo ponens, from 3. and 11.)
"p" reappears, but we know it to be false, so using the disjunctive syllogism rule again, we infer "s".
13. s (By disjunctive syllogism, from 5. and 12.)