Category:Disjunction with Contradiction
Jump to navigation
Jump to search
This category contains pages concerning Disjunction with Contradiction:
- $p \lor \bot \dashv \vdash p$
Pages in category "Disjunction with Contradiction"
The following 3 pages are in this category, out of 3 total.