Category:Tautological Consequent

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