0 Daumen
1,2k Aufrufe
Aufgabe 7 Zeigen Sie, dass
∀x(P(x) v Q(x)) und ∀xP(x) v ∀xQ(x)
nicht aquivalent sind.

wie kann man das zeigen?
Avatar von
Ich bin durch die Überschrift auf deine Frage aufmerksam geworden.
Hä? Wie meinst du das? Stimmt irgendwas nicht mit der Überschrift?
Ne, jetzt wurde sie editet. Vorher stand ".................." da.

2 Antworten

0 Daumen
Du kannst einfach ein Gegenbeispiel angeben. Z.B. so:

P(x):= x ist gerade

Q(x):= x ist ungerade

Dann ist \(\forall x\in\mathbb{N}:(P(x)\vee Q(x))\) sicherlich richtig (jede natürliche Zahl ist gerade oder ungerade).

Aber \(\forall x\in\mathbb{N}:P(x) \vee \forall x\in\mathbb{N}: Q(x)\) ist falsch, denn anderenfalls müsste eine der Aussagen auf alle natürlichen Zahlen zutreffen. Das ist aber nicht der Fall.
Avatar von
0 Daumen
man könnte ∀xP(x) v ∀xQ(x) in pränexnormalform bringen
dann würde man ∀x∀y: (P(x) v Q(y)) erhalten

da ∀x(P(x) v Q(x)) bereits in der pränexnormalform ist folgt daraus:

∀x(P(x) v Q(x)) nicht äquivalent zu ∀x∀y: (P(x) v Q(y))
Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community