Prädikatenlogik/Gleichheitstautologien/Folgerungen/Funktion und Relation/Allgemeingültig/Direkt/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige direkt, dass die folgenden Ausdrücke allgemeingültig sind (dabei seien Terme, ein -stelliges Funktionssymbol und ein -stelliges Relationssymbol).