Prädikatenlogik/Substitution/Angeordneter Körper/Quadrataussage/Aufgabe

Es sei ${}S$ das Symbolalphabet eines angeordneten Körpers und sei

${}\alpha =x\geq 0\rightarrow \exists y(x=y\cdot y)\,.$

Bestimme die Substitutionen

1. $\alpha {\frac {x}{y}}.$

2. $\alpha {\frac {y}{x}}.$

Eine Lösung erstellen