Category:Denying the Antecedent

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Denying the Antecedent:


Let $p \implies q$ be a conditional statement.

Let its antecedent $p$ be false.

Then it is a fallacy to assert that the consequent $q$ is also necessarily false.

That is:

\(\ds p\) \(\implies\) \(\ds q\)
\(\ds \neg p\) \(\) \(\ds \)
\(\ds \not \vdash \ \ \) \(\ds \neg q\) \(\) \(\ds \)

Pages in category "Denying the Antecedent"

The following 2 pages are in this category, out of 2 total.