Category:Examples of Paradoxes of Material Implication

From ProofWiki
Jump to navigation Jump to search

This category contains examples of use of Paradoxes of Material Implication.

The conditional operator has the following counter-intuitive properties:

Tautological Consequent

$p \implies \top \dashv \vdash \top$


Tautological Antecedent

$\top \implies p \dashv \vdash p$


Contradictory Antecedent

$\bot \implies p \dashv \vdash \top$


Contradictory Consequent

$p \implies \bot \dashv \vdash \neg p$

Pages in category "Examples of Paradoxes of Material Implication"

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