Question
The argument form called modus tollens looks like this:$$\begin{aligned}& p \supset q \\& \therefore \sim q\end{aligned}$$Use truth tables to show that this argument form is valid.
Step 1
In modus tollens, we have two statements: \( p \supset q \) (if \( p \) then \( q \)) and \( \sim q \) (not \( q \)). We want to show that if both of these statements are true, then \( \sim p \) (not \( p \)) must also be true. Show more…
Show all steps
Your feedback will help us improve your experience
Labs
Want to see this concept in action?
Explore this concept interactively to see how it behaves as you change inputs.
Key Concepts
Recommended Videos
Use truth tables to show that the argument forms referred to in 13-21 are valid. Indicate which columns represent the premises and which represent the conclusion, and include a sentence explaining how the truth table supports your answer. Your explanation should show that you understand what it means for a form of argument to be valid. 13. Modus Tollens c: p V q p: p V q ~r: p V q - r
Watch the video solution with this free unlock.
EMAIL
PASSWORD