0 Daumen
493 Aufrufe
Zeigen Sie dass die folgende WFF nicht allgemeingueltig ist, indem Sie eine geeignete Interpretation angeben:

∃x P(x) ∧ ∃x Q(x) -> ∃x [P(x) ∧ Q(x)]
Avatar von

2 Antworten

0 Daumen


einfaches Beispiel:

P(x) : "x ist gerade".

Q(x) : "x ist ungerade".

Es existiert zwar ein x, sodass P(x) gilt, es existiert auch ein x, sodass Q(x) gilt, allerdings existiert kein x, sodass sowohl P(x) als auch Q(x) gilt, mit anderen Wortenkann ein x nicht zugleich gerade und ungerade sein.

MfG

Mister
Avatar von 8,9 k
0 Daumen
P(x) sei x = 7^n mit n≥1 Element IN

Q(x) sei x = 3^n mit n≥1 Element IN

P(7) ist wahr. Daher ∃x P(x), nämlich x=7.

Q(9) ist wahr. Daher ∃x Q(x), nämlich x = 9.

Aber es existiert keine Zahl die P und Q gleichzeitig erfüllt.
Avatar von 162 k 🚀
Diese Antwort ist ihrem Wesen nach übrigens äquivalent zu allen Antworten, die die Existenz von Primteilern in der Zahl x betreffen.

Eine Zahl kann nicht ausschließlich 3 und ausschließlich 7 zugleich als Primteiler haben.

Eine Zahl kann nicht 2 als Primteiler haben und zugleich 2 nicht als Primteiler haben.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community