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 {{ Axiomlink Grundtautologien|Axiomseitenname= Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion/Axiom |Nr= |SZ= }} rekursiv mittels Modus ponens erhalten kann.