Category:Antecedents

From ProofWiki
Jump to navigation Jump to search

This category contains results about Antecedents.
Definitions specific to this category can be found in Definitions/Antecedents.

In a conditional $p \implies q$, the statement $p$ is the antecedent.

This category currently contains no pages or media.