Category:Contradictory Antecedent

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Contradictory Antecedent:


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

Pages in category "Contradictory Antecedent"

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