For AI agents: This article is the human-readable version. To check whether an argument commits a fallacy, use the machine-readable Check Fallacies tool — start with the Instructions for AIs.
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| logic:inferences:modus_ponendo_tollens [14.09.26, 09:12:53] – [Modus Ponendo Tollens] sascha | logic:inferences:modus_ponendo_tollens [14.09.26, 09:31:03] (current) – [Fallacies] sascha |
|---|
| <div print-wide"> | <div print-wide"> |
| | ^ //Modus ponendo tollens// \\ (valid inference) ^^ ^ [[logic:formal_fallacies:denying_a_conjunct|Denying a Conjunct]] \\ (fallacy) ^^ [[logic:formal_fallacies:affirming_a_disjunct|Affirming a Disjunct]] \\ (fallacy) ^^ | | ^ //Modus ponendo tollens// \\ (valid inference) ^^ ^ [[logic:formal_fallacies:denying_a_conjunct|Denying a Conjunct]] \\ (fallacy) ^^ [[logic:formal_fallacies:affirming_a_disjunct|Affirming a Disjunct]] \\ (fallacy) ^^ |
| ^Premise 1 | <span "not both, A and B">''⌐(A ∧ B)''</span> \\ <small>(//not both//, A //and// B)</small> || | <span "noth both, A and B">⌐ (A ∧ B)</span> \\ <small>(//not both//, A //and// B)</small> || <span "A or [incl.] B">A ∨ B</span> \\ <small>(A oder B)</small> || | ^Premise 1 | <span "not both, A and B">''⌐(A ∧ B)''</span> \\ <small>(//not both//, A //and// B)</small> || | <span "noth both, A and B">⌐ (A ∧ B)</span> \\ <small>(//not both//, A //and// B)</small> || <span "A or [incl.] B">A ∨ B</span> \\ <small>(A or B)</small> || |
| ^Premise 2 | A | B | | <span "not A">⌐A</span> <small>(not A)</small> | <span "not B">⌐B</span> <small>(not B)</small> | A | B | | ^Premise 2 | A | B | | <span "not A">⌐A</span> <small>(not A)</small> | <span "not B">⌐B</span> <small>(not B)</small> | A | B | |
| ^Konklusion | <span "not B">⌐B</span> <small>(not B)</small> | <span "not A">⌐A</span> <small>(not A)</small> | | <span "B (invalid)" invalid short>B</span> | <span "A (invalid)" invalid short>A</span> | <span "not B (invalid)" invalid short2>⌐B</span> <small>(not B)</small> | <span "not A (invalid)" invalid short2>⌐A</span> <small>(not A)</small> | | ^Konklusion | <span "not B">⌐B</span> <small>(not B)</small> | <span "not A">⌐A</span> <small>(not A)</small> | | <span "B (invalid)" invalid short>B</span> | <span "A (invalid)" invalid short>A</span> | <span "not B (invalid)" invalid short2>⌐B</span> <small>(not B)</small> | <span "not A (invalid)" invalid short2>⌐A</span> <small>(not A)</small> | |
