Aussagenlogik/Syntaktische Tautologien/Grundtautologien und Modus ponens/Definition

Aus Wikiversity
Syntaktische Tautologie

Unter einer syntaktischen Tautologie versteht man einen Ausdruck (zu einer Aussagenvariablenmenge ), den man aus den {{ Axiomlink Grundtautologien|Axiomseitenname= Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion/Axiom |Nr= |SZ= }} rekursiv mittels Modus ponens erhalten kann.