Total Spam

[Dark_Hydreigon]

[RedArceus]

...

[Tesafilm]

hää??

[phistoh]

¬∀ ist das selbe wie ∃ und ¬A(x) ist die Negation der Aussage A(x).
Also gilt: ¬(∀x∈X:A(x))⇔(∃x∈X:¬A(x))

¬(∀x∈X:A(x))
⇔ ∃x∈X:¬(A(x))
⇔ ∃x∈X:¬A(x)

Das ist simple Aussagenlogik.

Naja, die zweite und dritte Zeile sind redundant.
Dementsprechend ist da nichts bewiesen, sondern einfach die Behauptung aufgeschrieben. Ich weiß nicht, ob man das so als Beweis verkaufen kann.
Aber ich denke, dass man das über die de Morgan'schen Regeln beweisen kann. ∀ ist ja nichts anderes als ein großes "und" und ∃ nichts anderes als ein großes "oder".

[Dark_Hydreigon]

Was heißt redundant?

[phistoh]

"Der Begriff Redundanz, adj. redundant, (lateinisch redundare „überlaufen, im Überfluss vorhanden sein“) bezeichnet:

allgemein einen Zustand von Überschneidung oder Überfluss im Sinne von Überschüssigkeit"

[Tesafilm]

ahaaa ich bin zwar nicht schlauer geworden aber naja^^

[MoMo15]

tesa film du kannst das nicht sagen du bist noch zu klein wenn du größer bist dann sagst du wow ist das interresant!

[Tesafilm]

türlich..
MoMo wiest du ...

[MoMo15]

ja z.b. wenn du IT professor werden willst....
*Denkste tesafilm alle haben es bei dir aufegegeben*