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