Logische Umformulierung < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Aufgabe | geben sie zwei äquivalente Umformulierungen für
[mm] a)\neg(A\Rightarrow [/mm] B)
[mm] b)A\Rightarrow(B\Rightarrow [/mm] C) |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Ich weiss das man aus [mm] A\Rightarrow [/mm] B := [mm] \neg(\neg A\vee [/mm] B) machen kann.
Muss ich bei a) nur ein [mm] \neg [/mm] davorsetzen.
Leider fällt mir keine weiter umformulierung ein.
Bei b) habe ich die Klammern verschoben nach [mm] (A\Rightarrow B)\Rightarrow [/mm] C.Für [mm] (A\Rightarrow [/mm] B) habe ich die selbe Umformulierung wie für a) benutzt.kann ich dann einfach nur noch hintendran hängen [mm] \vee [/mm] C.
[mm] Also:\neg(\neg A\vee B)\vee [/mm] C.
Bitte helft mir weiter, liebe grüße Christin
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 14:26 Mi 29.10.2008 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|