< Angeordneter Körper < Betragsabschätzung < Formulierung
In einem angeordneten Körper ist durch
eine zweistellige Relation
gegeben. Drücke diese Relation mit den üblichen Symbolen , Variablen und aussagenlogischen Junktoren aus.
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.