0 Daumen
598 Aufrufe

Hi mathelounge,

ich soll folgende Aussage verneinen und anschließend vereinfachen:

xϵX : [a(x)(yϵX : b(y))]\exists x\quad \epsilon \quad X\quad :\quad [a(x)\quad \Rightarrow (\exists y\quad \epsilon \quad X:\quad b(y))]

Daraus hab ich erstmal das hier gemacht:

xϵX : ¬[a(x)yϵX : b(y))]\forall x\epsilon X\quad :\quad \neg \quad [a(x)\Rightarrow \exists y\epsilon X:b(y))]

und es dann "vereinfacht":

xϵXyϵX : ¬[a(x)b(y))]\forall x\epsilon X\quad \exists y\epsilon X\quad :\quad \neg \quad [a(x)\Rightarrow b(y))]

bzw:

xϵXyϵX : a(x)¬b(y)\forall x\epsilon X\quad \exists y\epsilon X\quad :\quad a(x)\quad \wedge \quad \neg b(y)


Ist das so richtig? :S Hab ich es richtig "verneint" und vorallem richtig vereinfacht?


Avatar von

Ein anderes Problem?

Stell deine Frage

Ähnliche Fragen