The Language of Argument

1 3 8

C H A P T E R 6 ■ P r o p o s i t i o n a l L o g i c

These same techniques allow us to show that one of the traditional falla-

cies is, indeed, a fallacy. It is called the fallacy of denying the antecedent, and

it has this form:

p ⊃ q

~p

∴ ~q

The argument form called modus tollens looks like this:

p ⊃ q

~q

∴ ~p

Use truth tables to show that this argument form is valid.

Exercise XX

Farcus/LaughingStock Licensing Inc.

97364_ch06_ptg01_111-150.indd 138 15/11/13 10:15 AM

some third party content may be suppressed from the eBook and/or eChapter(s). Editorial review has deemed that any suppressed content does not materiallyCopyright 201^3 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights,

affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.