MathematikMathematik benötigt man immer, auch in anderen Fächern. Dieses Forum soll als Anlaufpunkt bei der Lösung von mathematischen Fragestellungen dienen.
ich hab mal wieder eine Frage. Es geht um die Negation von Quantoren.
a) Bilden sie die Negation von: Vyx mit x|y
Das V soll das ungekehrte große "A" sein (finde ich nicht im Formeleditor, oder bin ich blind?)...gilt für alle.
Ich würde es so lesen: für alle y existiert mindestens ein x bei dem y aus x folgt....wäre das erst einmal richtig? Bin mir bei dem "|" Zeichen nicht ganz sicher.
Wenn ich das negieren sollte, würde ich schreiben:
Für alle y existiert kein x bei dem y aus x folgt.
--> Vy-x mit x|y ?
b)Bilden sie die Negation von xVy mit x|y
--> Es existiert mindestens ein X für alle Y bei denen y aus x folgt...
-> Negation: Es existiert kein X für alle y bei denen y aus x folgt
--> -xVy mit x|y ?
c) Vereinfachen sie die Aussage:
"Es ist falsch, dass 4 keine Primzahl ist oder keine gerade Zahl" und bestimmen sie den Wahrheitsgehalt.
--> Vereinfachung: 4 ist eine Primzahl und eine ungerade Zahl --> Wahrheitsgehalt Null
d) Bilden sie zu -(A->B) mindestens zwei äquivalente Aussagen durch eine geeignete Verknüpfung von A und B und bilden sie entsprechend die Negation zu 2|n 3|m -> 6|nm
-> zwei äquivalente bilden:
1) A -B
2) -(A <-> B -A)
Nun noch die Frage zur Negation:....muss ich zugeben das ich mit der Gleichung nicht wirklich viel anfangen kann.
Lösungsvorschlag: 2|n 3|m -> -6|nm
Vielen Dank für eure Hilfe im Voraus...ich hoffe wenigstens ein bisschen richtig ist.
VG
David
Negation: \neg
Und: \land
Oder: \lor
Für alle: \forall
Es esxitiert: \exists
a)
x|y bedeutet in der regel x teilt y.
Die negation der aussage "alle häuser haben ein rotes dach" ist nicht "kein haus hat ein rotes dach", sondern "es existiert ein haus, dessen dach nicht rot ist".
Beachte:
Sei M eine menge und A eine aussage.
b)
Forme die aussage mit oben genannter regel weiter um.
c)
richtig.
d)
Ich bin mir nicht sicher ob das gemeint ist, aber mein vorschlag für die negation wäre:
__________________ Gott existiert, weil die Mathematik widerspruchsfrei ist, und der Teufel existiert, weil wir das nicht beweisen können.
André Weil
Ich versuch mal meine Frage ein wenig selber zu beantworten.
Das mit der negation bei 1. und 2 geht wohl etwas anders.
1. Vyx mit x|y -> negiert: yVx mit x|y
(Das große "V" ist immer noch das umgekehrte A-> gilt für alle und die Bedeutung von dem "|" kenne ich immer noch nicht, ist aber vlt auch nicht so wichtig)
2. }xVy mit x|y -> negiert: Vx}Vy mit x|y
zu d)2|n 3|m -> -6|nm
negiert: -(2|n) -(3|m)-> -(6|mn)
kommt das evtl. mehr der richtigen Lösung näher? Ja, Nein, Vlt?
erstmal Danke für die Antwort.
Hatte dich überlesen.
Also ist das wirklich nur geteilt durch...ich dachte das wäre auch so ein Sonderzeichen....gut, ein Problem weniger
also mit deinen Worten, wäre dann die Lösung zu
1)mit x|y --> mit
und 2) mit x|y -> mit
...so meinst du?
zu d)...muss ich mir ersteinmal deine Lösung nochmal richtig aufschreiben ...da ist mir zuviel "Land" drin
das mit dem "\land" scheint nicht zu funktionieren.
Wie komsmt du nun auf Z (ganze Zahlen) und das da nun zweimal "und" stehen muss?
ich habe mir Aufgabe d noch mal über die Wahrheitstabelle angeschaut.
Aufgabe:
In einzelnen Schritten: -> Negation: -> Negation:
oder? Weiß jetzt nicht wie ich mich ausdrücken soll....wie es in der Wahrheitstabelle aussieht weiß ich.
oder muss die Negation so heißen:
ich habe mir Aufgabe d noch mal über die Wahrheitstabelle angeschaut.
Aufgabe:
In einzelnen Schritten: -> Negation: -> Negation:
oder? Weiß jetzt nicht wie ich mich ausdrücken soll....wie es in der Wahrheitstabelle aussieht weiß ich.
oder muss die Negation so heißen:
Das müsste die Lösung sein:
Wäre schön wennd as jemand bestätigen könnte.
Hoffe es stört nicht das ich gleich noch eine kleine Aufgabe poste zm Thema Mengenlehre
Anscheinend kennt der editor hier die befehle \land und \lor nicht, aber \wedge für und \vee für funktioniert.
Kurz zur notation:
Das "mit", dass du zwischen die quantoren und die aussage schreibst ergibt nur nach einem existenzquantor sinn.
Aber die aussage "es existiert ein y, sodass für alle x mit x teilt nicht y" ergibt keinen sinn.
Schreib am besten anstatt dem "mit" einen doppelpunkt, dann ist immer klar was gemeint ist.
Zitat:
Zitat von Physiklaische Technik
Wie komsmt du nun auf Z (ganze Zahlen) und das da nun zweimal "und" stehen muss?
Das problem bei der aufgabenstellung ist, dass nicht festgelegt wurde, aus welcher menge m und n kommt. Deswegen hatte ich die ganzen zahlen gewählt, weil dort die teilbarkeit sinnvoll definiert ist.
Ich habe die aufgabe so interpretiert, dass sie für alle ganzen zahlen m und n gelten soll, demnach wäre die negation dadurch gegeben, dass zwei zahllen m und n existieren, für die sowohl m teit 2 und n teilt 3, als auch mn teilt nicht 6 gilt.
Das wäre die negation gemäß .
Gesucht ist aber vermutlich nur der ausdruck (hier im fall, dass die aussage nicht für beliebige m und n gilt, sondern nur für ein spezielles paar m und n)
__________________ Gott existiert, weil die Mathematik widerspruchsfrei ist, und der Teufel existiert, weil wir das nicht beweisen können.
André Weil
Das ist nicht die negation!
Betrachte die aussage: "wenn es regnet ist die straße nass"
Die negation ist: "wenn es regnet kann es sein, dass die straße nicht nass ist"
Das ist nicht gleichbedeutend mit: "wenn es regnet ist die straße nicht nass"
__________________ Gott existiert, weil die Mathematik widerspruchsfrei ist, und der Teufel existiert, weil wir das nicht beweisen können.
André Weil
du hast recht. Ich hatte wohl nicht richtig in die Tabelle geschaut. -> Negation:
Ich würde nn den gesamten Ausdruck so negieren:
Keine Ahnung warum du nun die Kehrwerte gebildet hast und warum bei dir zweimal das steht. Denn durch die Negation muss man das Zeichen doch vorn rumdrehen.
Ich habe die Aufgaben von einem Script einer Freundin, welche sie wieder rum von ihrem Prof hat. 1 zu 1 abgeschrieben. Ich soll ihr ein wenig in Mathe helfen. Nur der Teil mit der Mengenlehre gehört nun nicht gerade zu meinem Spezial Gebiet bzw. es ist schon eine ganze Weile her
Die Aufgabe lautet:
Bilden sie die Negation zu:
Also muss ich doch alles negieren oder etwa nicht?
Kann ich das nicht Schritt für Schritt machen?
Aus wird doch
und aus wird
Also ist die Negation von
Die Aufgabe lautet:
Bilden sie die Negation zu:
Also muss ich doch alles negieren oder etwa nicht?
Nein. ist nicht die Negation von .
Betrachte die implikation: "Wenn es regnet, dann ist die straße nass." würde bedeuten: "Wenn es nicht regnet, dann ist die straße nicht nass."
Daraus kann man weder eine aussage über die richtigkeit von machen, noch ist das die negation.
Du hast vorher 2 äquivalente aussagen zu negation einer implikation aufgestellt.
Nur sollst du eine davon nutzen und auf das beispiel anwenden.
__________________ Gott existiert, weil die Mathematik widerspruchsfrei ist, und der Teufel existiert, weil wir das nicht beweisen können.
André Weil