Negieren einerA mit Folgepfeil < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Ich habe hier eine Aufgabe, welche ich mittel Kontraposition lösen möchte, allerdings muss ich dazu eine Aussage negieren, und bin mir nicht sicher, ob ich bei einer Aussage mit "Folgepfeil" ALLES oder nur den Teil vor oder nur den Teil hinter dem Pfeil negieren muss.
Folgende Aussage soll negiert werden (Bilinearform - nichtausgeartet):
b(v,w)=0 für alle v => w=0
Ich hätte jetzt inutitiv gesagt, dass es wie folgt heißen muss:
es ex ein v mit b(v,w)=0 => [mm] w\not=0
[/mm]
Danke für eure Hilfe! Und auch eine allgemeine Antwort, welchen Teil ich negieren muss 
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 18:32 Mi 16.04.2008 | | Autor: | pelzig |
Die Kontraposition einer Aussage [mm] $A\Rightarrow [/mm] B$ lautet [mm] $\neg B\Rightarrow \neg [/mm] A$.
Wende das einfach auf dein Beispiel an.
|
|
|
|
