Umformungsregeln für prädikatenlogische Formeln

Question

Aufgabe:

Aufgabe 2 (a) zu Aufgabe 2 (c) umformen

Ich kann das nicht und mein ganzer Kurs kanns auch nicht.

Comments

Ich gratuliere zu 81 % Akkuladestand. Ohne Textwüste:

Es wird diese Umformung gesucht.

$\displaystyle \forall a \in A \quad \forall b_{1}, b_{2} \in B \quad\left(a R b_{1} \wedge a R b_{2}\right) \Rightarrow b_{1}=b_{2} \\ \big\Updownarrow \\ \neg \exists a \in A \quad \exists b_{1}, b_{2} \in B \quad\left(b_{1} \neq b_{2} \wedge a R b_{1} \wedge a R b_{2}\right)$

---

Ja Dankeschön. Tut mir Leid für die Unordnung hier