Kommutativer Ring/Ideal/Erzeuger/Prädikatenlogische Charakterisierung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei fixiert. Formalisiere prädikatenlogisch mit einem geeigneten Symbolalphabet den Sachverhalt, dass Elemente eines kommutativen Ringes ein gegebenes Ideal

erzeugen.
Eine Lösung erstellen