Category:Examples of Formal Implication

From ProofWiki
Jump to navigation Jump to search

This category contains examples of Formal Implication.

Formal implication is a usage of an implication in which it is necessary for there to be a formal connection between the antecedent and the consequent in order for the implication to have any semantic meaning.

This category currently contains no pages or media.