Prädikatenlogik/Elementare Äquivalenz/Vielfachklassen/Keine trennenden Ausdrücke/Beispiel/Gemeinsames Vielfaches/Aufgabe
Zur Navigation springen
Zur Suche springen
Es sei das Symbolalphabet, das außer Variablen für jedes ein einstelliges Relationssymbol enthält. Wir betrachten die Menge , wobei wir das Relationssymbol durch
interpretieren. Es sei ein Ausdruck in einer freien Variablen , wobei in die Relationssymbole vorkommen mögen. Es sei das kleinste gemeinsame Vielfache von . Zeige, dass
genau dann gilt, wenn