Category:Tautological Antecedent

From ProofWiki

Jump to navigation Jump to search

This category contains pages concerning Tautological Antecedent:

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

Pages in category "Tautological Antecedent"

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

T

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Tautological_Antecedent&oldid=653871"