Umformen von Aussagen < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 16:25 Do 02.12.2010 | | Autor: | Lat |
| Aufgabe | Gegeben ist folgende Aussagenlogik
[mm] (q\vee r)\wedge \neg p\wedge ((\neg q\to [/mm] r) [mm] \gdw [/mm] p)
Gezeigt werden soll, dass es sich, um eine Kontradiktion handelt. |
Hey klar ist es, dass es eine Kontradiktion ist. Die Wahrheitstabelle zeigt dies. Doch, wie kann ich durch bloßes Umformen zeigen. Ich baue immer irgendwelche Fehler ein, so dass die Lösung am Ende nicht mehr stimmt. Kann mir das jemande anhand einer Schritt für Schritt Lösung erklären?
vg Lat
Ich habe diese Frage in keinem anderem Forum gestellt
|
|
| |
|
Huhu,
forme zuerst [mm] $((\neg [/mm] q [mm] \rightarrow [/mm] r) [mm] \leftrightarrow p)$ um.
Machs doch erstmal, dann finden wir deine Fehler schon :-)
MFG,
Gono.
[/mm]
|
|
|
| |
|
| Status: |
(Frage) überfällig  | | Datum: | 18:11 Do 02.12.2010 | | Autor: | Lat |
okay.....
[mm] $(q\vee r)\wedge \neg p\wedge ((\neg q\to r)\gdw [/mm] p)
[mm] (q\vee r)\wedge \neg p\wedge (q\vee r)\gdw [/mm] p)
[mm] (q\vee r)\wedge \neg p\wedge ((q\vee r)\to p)\wedge (p\to(q\vee r))\$
[/mm]
[mm] (q\vee r)\wedge \neg p\wedge ((\neg (q\vee r)\vee p)\wedge(\neg p\vee (q\vee r)\$
[/mm]
und ab hier hapert es
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 18:22 Sa 04.12.2010 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
