Prädikatenlogik/Gleichheitstautologien/Axiom

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet, seien - Terme und sei ein - Ausdruck. Dann sind die beiden folgenden Ausdrücke syntaktische Tautologien.