Modus tollens
From The Art and Popular Culture Encyclopedia
(Difference between revisions)
Revision as of 20:09, 19 August 2011 Jahsonic (Talk | contribs) ← Previous diff |
Current revision Jahsonic (Talk | contribs) |
||
Line 1: | Line 1: | ||
{{Template}} | {{Template}} | ||
- | {{Rules of inference}} | + | In [[classical logic]], '''''modus tollens''''' (or '''''modus tollendo tollens''''') ([[Latin language|Latin]] for "the way that denies by denying") has the following [[argument form]]: |
- | In [[classical logic]], '''''modus tollens''''' (or '''''modus tollendo tollens''''') ([[Latin language|Latin]] for "the way that denies by denying")<ref>Stone, Jon R. 1996. ''Latin for the Illiterati: Exorcizing the Ghosts of a Dead Language''. London, UK: Routledge: 60.</ref> has the following [[argument form]]: | + | |
:If ''P'', then ''Q''. | :If ''P'', then ''Q''. | ||
:Not ''Q''. | :Not ''Q''. |
Current revision
Related e |
Featured: |
In classical logic, modus tollens (or modus tollendo tollens) (Latin for "the way that denies by denying") has the following argument form:
- If P, then Q.
- Not Q.
- Therefore, not P.
[edit]
See also
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Modus tollens" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.