0 Daumen
228 Aufrufe

Hallo, ich brauche Hilfe beim Widerspruchsbeweis von \(\forall x\ (\operatorname{prim}(x)\to x=2\vee \neg \operatorname{teilt}(2, x))\) ?

Ich habe die Aussage zuerst negiert und dabei das erhalten:

\(\exists x (prim(x)\wedge \neg (x=2)\wedge(teilt(2,x))  \)


jetzt weiß ich nicht mehr weiter. Ich muss doch mithilfe von Äquivalenzumformungen eine falsche Aussage bekommen. Ich weiß leider nicht, wie ich das hinbekommen soll.

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community