Prädikatenlogik/Gleichheitstautologien/Folgerungen/Funktion und Relation/Aufgabe

Aus Wikiversity

Es seien Terme, ein -stelliges Funktionssymbol und ein -stelliges Relationssymbol. Zeige, dass die folgenden Aussagen im Prädikatenkalkül ableitbar sind.