Category:Contradictory Consequent

From ProofWiki
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.