Category:Contradictory Consequent
Jump to navigation
Jump to search
This category contains pages concerning Contradictory Consequent:
- $p \implies \bot \dashv \vdash \neg p$
Pages in category "Contradictory Consequent"
The following 3 pages are in this category, out of 3 total.