Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Prädikatenlogik/Erfüllbarkeit/Beispiel/1/Aufgabe
Sprache
Beobachten
Bearbeiten
Zeige, dass der
prädikatenlogische Ausdruck
∃
x
(
∀
y
(
x
=
y
)
)
{\displaystyle \exists x(\forall y(x=y))}
erfüllbar
ist.
Eine Lösung erstellen