Category:Affirming the Consequent

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Affirming the Consequent:


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

Let its consequent $q$ be true.

Then it is a fallacy to assert that the antecedent $p$ is also necessarily true.

That is:

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

Pages in category "Affirming the Consequent"

This category contains only the following page.