Search
❯
Jun 05, 20261 min read
If then say is a theorem (simply write ) Syntactic Entailment (Propositional Logic)