Problem mit logischer Aussage < Lineare Algebra < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 20:13 So 30.10.2005 | | Autor: | dump_0 |
Hallo.
Ich habe leider keine Ahnung in welchem Unterforum ich diese Frage stellen sollte, somit habe ich hier mal einen Thread eröffnet.
Es geht um folgendes Problem:
Die Aussage:
( [mm] (\neg p\vee [/mm] q ) [mm] \wedge [/mm] ( [mm] p\vee \neg [/mm] r) ) [mm] \wedge (p\to \neg [/mm] q)
soll soweit wie möglich vereinfacht werden. Darauf gibts 5 Punkte. Ich weiß leider überhaupt nicht was ich hier machen soll, da wir die Rechenregeln zur Vereinfachung von logischen Ausdrücken bisher noch nicht behandelt haben.
Ich weiß nur das [mm] (p\to [/mm] q) = [mm] (\neg p\wedge [/mm] q) ist. Weiter komme ich dann auch nicht.
Kann mir evtl. jemand ein wenig helfen damit ich weiterkomme ?
Würde mich sehr freuen :)
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 10:07 Mo 31.10.2005 | | Autor: | Stefan |
Hallo!
Beachte bitte, dass
$(p [mm] \to [/mm] q) [mm] \wedge [/mm] (p [mm] \to \neg [/mm] q)$
eine Kontradiktion (ein Widerspruch) ist.
Daher ist auch die gesamte Aussage eine Kontradiktion...
Liebe Grüße
Stefan
|
|
|
|
