Category:Examples of Paradoxes of Material Implication
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.