Prädikatenlogik/Gleichheitstautologien/Axiom

Aus Wikiversity

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