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