Kommutativer Ring/Ideal/Prädikatenlogische Charakterisierung/Aufgabe

Formalisiere prädikatenlogisch mit einem geeigneten Symbolalphabet ${}S$, dass ein Ideal in einem kommutativen Ring vorliegt.

Eine Lösung erstellen