Aussagenlogik/Syntaktische Tautologien/Grundtautologien und Modus Ponens/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Syntaktische Tautologie

Unter einer syntaktischen Tautologie versteht man einen Ausdruck (zu einer Aussagenvariablenmenge ), den man aus den Grundtautologien rekursiv mittels Modus Ponens erhalten kann.