Zum Inhalt springen

Prädikatenlogik/Gleichheitstautologien/Folgerungen/Fakt

Aus Wikiversity

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