Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten...
-
Upload
bartolomaeus-arlt -
Category
Documents
-
view
113 -
download
0
Transcript of Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten...
![Page 1: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/1.jpg)
Fantasieregel Die Aussagenlogik
![Page 2: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/2.jpg)
Inhalt
– Alphabet der Aussagenlogik
– Wohlgeformte Ketten
– Fantasieregel
– Regelliste
– Interpretation der Symbolen
– Gantos Axt
– Entscheidungsverfahren für Sätze
![Page 3: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/3.jpg)
Alphabet
![Page 4: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/4.jpg)
Wohlgeformte Ketten
• Atomen - P Q R
– Neue Atomen werden gebildet, indem man rechts von den alten Striche beifügt ( P` , Q``)
• Bildungsregeln (x und y wohlgeformte Ketten)
![Page 5: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/5.jpg)
Beispiele
• Wohlgeformte Zeichenketten
• Nicht wohlgeformte Zeichenketten
![Page 6: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/6.jpg)
Die Fantasieregel
Wenn y abgeleitet werden kann, wobei x angenommen ist, dann ist
ein Satz
![Page 7: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/7.jpg)
Beispiel - Fantasieregel• Regel der Doppeltilde: Die Kette ~~ kann aus jedem Satz
weggelassen werden. Sie kann auch in jeden Satz eingeführt werden, vorausgesetzt, dass die so erzeugte Kette selbst wohlgeformt ist
![Page 8: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/8.jpg)
Vervollständigung der Regel-Liste
![Page 9: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/9.jpg)
![Page 10: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/10.jpg)
Rekursion und die Fantasieregel
• Übernahmeregel: Innerhalb einer Fantasie kann jeder Satz von der nächsten höheren Wirklichkeitsebene eingebracht und verwendet werden
Beispiel:
![Page 11: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/11.jpg)
Die beabsichtigte Interpretation der Symbole
![Page 12: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/12.jpg)
Gantos Axt
Eines Tages sagte Tokusan zu seinem Schüler Ganto. “Ich habe zwei Mönche, die schon seit vielen Jahren hier sind. Geh hin und prüfe sie“. Ganto nahm eine Axt und begab sich zu der Hütte, in der die beide Mönche meditierten. Er hob die Axt und sprach: “Wenn ihr ein Wor sagt, werde ich euch die Köpfe abhauen , und wenn ihr kein Wort sagt, werde ich euch ebenfalls die Köpfe abhauen.“
![Page 13: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/13.jpg)
• P - “ihr sagt ein Wort”• Q - “ich werde euch die Köpfe abhauen”
Wenn ihr ein Wort sagt, werde ich euch die Köpfe abhauen , und wenn ihr kein Wort sagt, werde ich euch ebenfalls die Köpfe abhauen
![Page 14: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/14.jpg)
![Page 15: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/15.jpg)
![Page 16: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/16.jpg)
Begriffe
Tautologie - ein logischer Satz (eine logische Aussage), der immer wahr ist unabhängig von der Belegung der enthaltenen Variablen
Erfüllbarkeit - die Eigenschaft mancher Aussagen in der Logik und Mathematik, unter gewissen Umständen wahr zu sein. Anders ausgedrückt ist ein Ausdruck genau dann erfüllbar, wenn es eine Belegung der Variablen gibt, für die der Wahrheitswert des gesamten Ausdrucks wahr ist.
NP-Vollständigkeit - klassifiziet eine Menge von Entscheidungsproblemen, die in gewisser Hinsicht besonders schwierig sind und für die angenommen wird, dass keine effizienten Algorithmen existieren, die diese lösen
![Page 17: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/17.jpg)
Entscheidungsverfahren für Sätze
• Die Feststellung, ob eine Aussage/Formel eine Tautologie ist, ist für allgemeine Formeln nicht effizient lösbar.
• Bei einer Formel mit n Atomen sind 2n Belegungen zu überprüfen (mittels Brute Force und Wahrheitstabellen).
• Das Erfüllbarkeitsproblem ist NP-vollständig.
![Page 18: Fantasieregel Die Aussagenlogik. Inhalt –Alphabet der Aussagenlogik –Wohlgeformte Ketten –Fantasieregel –Regelliste –Interpretation der Symbolen –Gantos.](https://reader036.fdocument.pub/reader036/viewer/2022062223/55204d6649795902118bbb08/html5/thumbnails/18.jpg)
Vielen Dank für Ihre Aufmerksamkeit