Fitch Calculus < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 19:47 Mi 25.02.2009 | | Autor: | Menito |
| Aufgabe 1 | P v Q
[mm] \neg [/mm] Q
Goal:
P |
| Aufgabe 2 | P [mm] \to [/mm] Q
Goal:
[mm] \neg(P \wedge \neg [/mm] Q) |
| Aufgabe 3 | keine angaben nur das goal ist gegeben:
((X [mm] \wedge [/mm] Y) [mm] \vee [/mm] (Y [mm] \wedge [/mm] Z) [mm] \vee [/mm] (W [mm] \wedge [/mm] Y)) [mm] \to [/mm] Y |
Hallo
diese Aufgaben bekomme ich leider nicht hin im Moment.
1) ich zerlege in einem subproof P v Q? Wie komme ich dann zu einem Wiederspruch, dass nur P bleibt?
2) wie zerlege ich ich diesen [mm] \to [/mm] pfeil? ich steht in meinem regelblatt:
a. P [mm] \to [/mm] Q
.
.
b. P
.
.
c. Q [mm] \to [/mm] Elim:a,b
wie gehe ich aber damit um?
3) wie ist die vorgehensweise wenn man keine "startbedingungen" hat?
vielen dank für die hilfe :)
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:20 Fr 27.02.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
