Frege-Kalkül < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 16:33 Fr 23.01.2015 | | Autor: | sigmar |
| Aufgabe | Seien F, G, H aussagenlogische Formeln. Gib im Frege-Kalkül einen Beweis für folgende Regel/Formel an:
|- [mm] (F_1 \to F_2) \to ((\neg F_1 \to F_2) \to F_2)
[/mm]
(ich weiß nicht wie ich es hier darstellen kann, "|-" bedeutet dieses Ableitungszeichen)
Folgende Axiome sind gegeben:
(1) (F [mm] \to [/mm] (G [mm] \to [/mm] F)
(2) (F [mm] \to [/mm] (G [mm] \to [/mm] H)) [mm] \to [/mm] ((F [mm] \to [/mm] G) [mm] \to [/mm] (F [mm] \to [/mm] H))
(3) [mm] (\neg [/mm] G [mm] \to \neg [/mm] F) [mm] \to [/mm] (( [mm] \neg [/mm] G [mm] \to [/mm] F) [mm] \to [/mm] G)) |
Ich glaube das Grundprinzip vom Frege-Kalkül habe ich verstanden, allerdings finde ich es schwierig, damit konkret Aufgaben zu bearbeiten. Ich denke ich möchte hier mit der Hypothese [mm] F_1 \to F_2 [/mm] anfangen, um dann am Ende das Deduktionstheorem anwenden zu können und somit die Aussage zu beweisen, aber den genauen Weg dahin finde ich hier nicht.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:20 Sa 07.02.2015 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
