Kommutativer Ring/Ideal/Prädikatenlogische Charakterisierung/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Formalisiere prädikatenlogisch mit einem geeigneten Symbolalphabet , dass ein Ideal in einem kommutativen Ring

vorliegt.
Eine Lösung erstellen