Aussagenlogik/Syntaktische Tautologien/Grundtautologien und Modus ponens/Definition

Syntaktische Tautologie

Unter einer syntaktischen Tautologie versteht man einen Ausdruck ${}\alpha \in L^{V}$ (zu einer Aussagenvariablenmenge ${}V$), den man aus den Grundtautologien rekursiv mittels Modus ponens erhalten kann.