Prädikatenlogik/Gleichheitstautologien/Axiom
Es sei ein Symbolalphabet, seien -Terme und sei ein -Ausdruck. Dann sind die beiden folgenden Ausdrücke syntaktische Tautologien.
Es sei ein
Symbolalphabet,
seien
-Terme
und
sei ein
-Ausdruck.
Dann sind die beiden folgenden Ausdrücke syntaktische Tautologien.