RE: Total Spam - Dark_Hydreigon - 13.10.2011
RE: Total Spam - RedArceus - 13.10.2011
...
RE: Total Spam - Tesafilm - 13.10.2011
hää??
RE: Total Spam - phistoh - 13.10.2011
(13.10.2011, 13:51)RedArceus schrieb: ¬∀ 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".
RE: Total Spam - Dark_Hydreigon - 13.10.2011
Was heißt redundant?
RE: Total Spam - phistoh - 13.10.2011
"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"
RE: Total Spam - Tesafilm - 13.10.2011
ahaaa ich bin zwar nicht schlauer geworden aber naja^^
RE: Total Spam - MoMo15 - 13.10.2011
tesa film du kannst das nicht sagen du bist noch zu klein wenn du größer bist dann sagst du wow ist das interresant!
RE: Total Spam - Tesafilm - 13.10.2011
türlich..
MoMo wiest du ...
RE: Total Spam - MoMo15 - 13.10.2011
ja z.b. wenn du IT professor werden willst....
*Denkste tesafilm alle haben es bei dir aufegegeben*
|