Category:Paradoxes of Material Implication
Jump to navigation
Jump to search
This category contains pages concerning 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$
Subcategories
This category has the following 2 subcategories, out of 2 total.
Pages in category "Paradoxes of Material Implication"
The following 6 pages are in this category, out of 6 total.