Prädikatenlogik/Gleichheitstautologien/Folgerungen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Aus den Gleichheitsaxiomen lassen sich folgende Gleichheitstautologien ableiten (dabei sind Terme, ein -stelliges Funktionssymbol und ein -stelliges Relationssymbol).

Zum Beweis, Alternativen Beweis erstellen