< Prädikatenlogik < Erfüllbarkeit < Beispiel < 2
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
This article is issued from
Wikiversity
. The text is licensed under
Creative Commons - Attribution - Sharealike
. Additional terms may apply for the media files.
