Logik für Informatiker Logic for computer scientists

Größe: px

Ab Seite anzeigen:

Download "Logik für Informatiker Logic for computer scientists"

Heinz Hoch
vor 6 Jahren
Abrufe

1 Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 22

2 Quantoren Till Mossakowski Logik 2/ 22

3 Quantoren: Motivierende Beispiele x Cube(x) ( Alle Objekte sind Würfel. ) x (Cube(x) Large(x)) ( Alle Würfel sind groß. ) x Large(x) ( Alle Objekte sind groß. ) Es existiert ein Würfel. x Cube(x) Es existiert ein großer Würfel. x (Cube(x) Large(x)) Till Mossakowski Logik 3/ 22

4 Die Sprache erster Stufe Eine Sprache erster Stufe besteht aus einer Menge von Prädikatsymbolen mit Stelligkeiten, wie z. B. Smaller (2), Dodec (1), Between (3), (2), einschließlich der aussagenlogischen Symbole (nullstellige Prädikatsymbole), wie z. B. A (0), B (0), C (0), (großgeschrieben), einer Menge von Namen oder Konstanten für Individuen, wie z. B. a, b, c, (kleingeschrieben) einer Menge von Funktionssymbolen mit Stelligkeiten, wie z. B. f (1), + (2), (2). Üblicherweise werden die Stelligkeiten weggelassen. Till Mossakowski Logik 4/ 22

5 Wohlgeformte Terme t ::= a Individuenkonstanten x Variablen f (n) (t 1,..., t n ) Anwendung von Funktionssymbolen auf Terme t 1,..., t n (Rekursive Definition) Üblicherweise werden die Stelligkeiten weggelassen Variablen sind t, u, v, w, x, y, z, auch mit Indizes. Individuenkonstanten sind a, b, c, d, e, f, n, und andere. Till Mossakowski Logik 5/ 22

6 Wohlgeformte Formeln F ::= P (n) (t 1,..., t n ) Anwendung von Prädikatsymbolen auf Terme t 1,..., t n t 1 = t 2 Identität Widerspruch F Negation (F 1 F n ) Konjunktion (F 1 F n ) Disjunktion (F 1 F 2 ) Implikation, Konditional (F 1 F 2 ) Äquivalenz, Bikonditional νf Allquantor νf Existenzquantor Dabei sind die in den rechten Seiten auftretenden F sowie F 1,..., F n bereits Formeln (rekursive Definition). Die Variable ν in den Formeln νf und νf nennt man gebunden. Till Mossakowski Logik 6/ 22

7 Klammern Quantoren Die äußeren Klammern einer wohlgeformten Formel können weggelassen werden. Cube(x) Small(x) Im Allgemeinen sind Klammern wichtig, um den Einflussbereich (Skopus) von Quantoren festzulegen. Till Mossakowski Logik 7/ 22

8 Freie und gebundene Variablen Eine Variable in einer Formel, die nicht (durch einen Quantor) gebunden ist, nennt man frei. y LeftOf (x, y) (Cube(x) Small(x)) y LeftOf (x, y) x (Cube(x) Small(x)) x Cube(x) Small(x) x ist frei, y ist gebunden x ist frei, y ist gebunden Beide Vorkommen von x sind gebunden Das erste x ist gebunden, das zweite ist frei Till Mossakowski Logik 8/ 22

9 Sätze Quantoren Ein Satz ist eine wohlgeformte Formel ohne freie Variable. A B Cube(a) Tet(b) x (Cube(x) Large(x)) x ((Cube(x) Small(x)) y LeftOf (x, y)) Till Mossakowski Logik 9/ 22

10 Die Semantik der Quantoren Die Aussagen quantifizierter Sätze beziehen sich auf einen nichtleeren intendierten Gegenstandsbereich (domain of discourse). Ein Satz der Form x S(x) ist genau dann wahr, wenn die wohlgeformte Formel S(n) für jedes Element n aus dem Gegenstandsbereich wahr ist. Ein Satz der Form x S(x) ist genau dann wahr, wenn die wohlgeformte Formel S(n) für mindestens ein Element n aus dem Gegenstandsbereich wahr ist. Nicht alle Elemente aus dem Gegenstandsbereich müssen Namen haben bei Bedarf können Namen n 1, n 2,... vergeben werden. Till Mossakowski Logik 10/ 22

11 Die Spielregeln Quantoren Form Ihre Festlegung Spieler am Zug Ziel P Q P Q x P(x) x P(x) wahr Sie Eines von P, Q wählen, falsch Tarski s World das wahr ist. wahr Tarski s World Eines von P, Q wählen, falsch Sie das falsch ist. wahr Sie Ein b wählen, das die Wff falsch Tarski s World P(x) erfüllt. wahr Tarski s World Ein b wählen, das die Wff falsch Sie P(x) nicht erfüllt. Till Mossakowski Logik 11/ 22

12 Die vier Aristotelischen Formen Alle P s sind Q s. Manche P s sind Q s. Kein P ist ein Q. Manche P s sind keine Q s. x(p(x) Q(x)) x(p(x) Q(x)) x(p(x) Q(x)) x(p(x) Q(x)) Bemerkung: x(p(x) Q(x)) bedeutet nicht, dass P s existieren. x(p(x) Q(x)) bedeutet nicht, dass nicht alle P s auch Q s sind. Till Mossakowski Logik 12/ 22

13 Leererweise wahre Aussagen y(tet(y) Small(y)) gilt auch in Welten ohne Tetraeder, y(tet(y) Cube(y)) gilt nur in Welten ohne Tetraeder. Till Mossakowski Logik 13/ 22

14 Till Mossakowski Logik 14/ 22

15 Logische Folgerungen für Quantoren x(cube(x) Small(x)) x Cube(x) x Small(x) x Cube(x) x Small(x) x(cube(x) Small(x)) Till Mossakowski Logik 15/ 22

16 Aber: Das Ignorieren von Quantoren funktioniert nicht! x(cube(x) Small(x)) x Cube(x) x Small(x) x Cube(x) x Small(x) x(cube(x) Small(x)) Till Mossakowski Logik 16/ 22

17 Tautologien vs. Quantoren x Cube(x) x Cube(x) ist eine logische Wahrheit, jedoch x Cube(x) x Cube(x) nicht. Im Gegensatz dazu ist x Cube(x) x Cube(x) eine Tautologie. Till Mossakowski Logik 17/ 22

18 Wahrheitsfunktionale Form Ersetze alle quantifizierten Teilformeln, die nicht im Skopus eines anderen Quantors liegen, durch Satzbuchstaben. Gleiche Formeln innerhalb eines Satzes werden dabei durch den gleichen Buchstaben ersetzt. Ein quantifizierter Satz der Sprache erster Stufe heißt genau dann eine Tautologie, wenn wenn seine wahrheitsfunktionale Form eine Tautologie ist. x Cube(x) x Cube(x) wird zu A A Till Mossakowski Logik 18/ 22

19 Wahrheitsfunktionale Form Beispiele PL1-Satz w. f. Form x Cube(x) x Cube(x) A A ( y Tet(y) z Small(z)) z Small(z) (A B) B x Cube(x) y Tet(y) A B x Cube(x) Cube(a) A B x (Cube(x) Cube(x)) A x (Cube(x) Small(x)) x Dodec(x) A B Till Mossakowski Logik 19/ 22

20 Beispiele für die - Elimination x(cube(x) Small(x)) x Cube(x) x Small(x) A B C xcube(x) x Small(x) x Cube(x) x Small(x) A B A B Nein! Ja! Till Mossakowski Logik 20/ 22

21 Tautologien und logische Wahrheiten Jede Tautologie ist eine logische Wahrheit, aber nicht umgekehrt. Beispiel: x Cube(x) x Cube(x) ist eine logische Wahrheit, aber keine Tautologie. Analog ist jedes tautologisch gültige Argument auch logisch gültig, aber nicht umgekehrt. x Cube(x) x Cube(x) ist ein logisch gültiges Argument, aber kein tautologisch gültiges Argument Till Mossakowski Logik 21/ 22

22 Die verschiedenen Stufen der Wahrheiten Tautologien PL1-Wahrheiten Logische Wahrheiten Till Mossakowski Logik 22/ 22

Ähnliche Dokumente

Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen

Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen Barbara König Übungsleitung: Christoph Blume Barbara König Logik 1 Motivation: Wir beschäftigen uns nun im folgenden mit der, die gegenüber