Prädikatenlogik/Vollständigkeitssatz/Modellkonstruktion/Gruppenaxiome/Selbstinvers/Kommutativ/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Das Symbolalphabet bestehe neben Variablen aus einer Konstanten und einem zweistelligen Funktionssymbol . Es sei die Menge aller Ableitungen aus dem Axiomensystem

Es sei die zugehörige Äquivalenzrelation gemäß Bemerkung. Zeige

für jedes Variablenpaar .
Eine Lösung erstellen