Logische Äquivalenz

Werbung
11 Grundbegriffe der Logik der Sprache AL
Erinnerung an die Ergebnisse von Kapitel 8
• Ein Satz ist genau dann logisch wahr, wenn er – unabhängig davon, was die in ihm vorkommenden
deskriptiven Zeichen bedeuten – allein aufgrund der
Bedeutung der in ihm vorkommenden logischen
Ausdrücke wahr ist.
• In einem Argument folgt die Konklusion genau dann
logisch aus den Prämissen, wenn sich allein aus der
Bedeutung der in den Prämissen und der Konklusion vorkommenden logischen Ausdrücke ergibt,
dass alle strukturgleichen Argumente mit wahren
Prämissen auch eine wahre Konklusion haben.
Grundbegriffe der Logik der Sprache AL
1
Was bedeutet das für die Sprache AL?
Dass ein Satz A von AL unabhängig davon wahr ist,
was die in ihm vorkommenden deskriptiven Zeichen
bedeuten, können wir mit Hilfe der im letzten Kapitel
eingeführten Terminologie so ausdrücken:
A ist wahr bzgl. aller Bewertungen V.
Und dass für ein Argument A1, …, An, Also: A aus
Sätzen von AL gilt: jedes strukturgleiche Argument
mit wahren Prämissen hat auch eine wahre Konklusion, können wir so ausdrücken:
Für alle Bewertungen V gilt: Wenn die Sätze A1,
…, An alle wahr sind bzgl. V, dann ist auch A
wahr bzgl. V.
Grundbegriffe der Logik der Sprache AL
2
Definition 11.1
Ein Satz A der Sprache AL ist genau dann logisch
wahr, wenn sich allein aus der Bedeutung der in ihm
vorkommenden logischen Ausdrücke ergibt, dass A
wahr ist bzgl. aller Bewertungen V von AL.
Definition 11.2
Sind A1, ..., An und A Sätze der Sprache AL, dann folgt
A genau dann logisch aus den Sätzen A1, ..., An, wenn
sich allein aus der Bedeutung der in diesen Sätzen
vorkommenden logischen Ausdrücke ergibt, dass für
alle Bewertungen V von AL gilt: Sind die Sätze A1, ...,
An alle wahr bzgl. V, dann ist auch A wahr bzgl. V.
Grundbegriffe der Logik der Sprache AL
3
Frage
Woher kennen wir eigentlich die Bedeutung der
logischen Ausdrücke von AL?
Bisher ist diese Bedeutung doch noch nirgendwo
erklärt worden. Oder?
Antwort
Die Bedeutung der logischen Zeichen von AL ergibt
sich implizit aus den Bedingungen der Definition
10.3.
Grundbegriffe der Logik der Sprache AL
4
Definition 11.3
Ein Satz A der Sprache AL ist genau dann logisch
wahr (symb.: ! AL A), wenn sich allein aus den
Bedingungen der Definition 10.3 ergibt, dass A bzgl.
aller Bewertungen von AL wahr ist.
Definition 11.4
Sind A1, ..., An und A Sätze der Sprache AL, dann folgt
der Satz A genau dann logisch aus den Sätzen A1, ...,
An (symb.: A1, ..., An ! AL A), wenn sich allein aus den
Bedingungen der Definition 10.3 ergibt, dass für alle
Bewertungen V von AL gilt: Sind die Sätze A1, ..., An
alle wahr bzgl. V, dann ist auch A wahr bzgl. V.
Grundbegriffe der Logik der Sprache AL
5
Verabredung
1. Ein Satz A der Sprache AL soll genau dann eine
Tautologie heißen, wenn er logisch wahr ist;
2. ein Satz A der Sprache AL soll genau dann eine
Kontradiktion (logisch falsch) heißen, wenn sich
allein aus den Bedingungen der Definition 10.3
ergibt, dass A bzgl. aller Bewertungen von AL
falsch ist.
Grundbegriffe der Logik der Sprache AL
6
Problem
In der Definition 11.3 ist zwar eine klare Bedingung
für die logische Wahrheit von Sätzen der Sprache AL
angegeben worden, aber noch kein Verfahren, mit
dessen Hilfe überprüft werden kann, ob dieses Kriterium im Einzelfall erfüllt ist oder nicht.
Das bekannteste und einfachste Verfahren dieser Art
ist die Wahrheitstafelmethode.
Grundbegriffe der Logik der Sprache AL
7
Die Wahrheitstafelmethode
Beispiel
(1)
p ∧ q → q.
Frage
Wie kann man herausbekommen, ob sich allein aus
den Bedingungen der Definition 10.3 ergibt, dass der
Satz (1) wahr ist bzgl. aller Bewertungen von AL?
Die Wahrheitstafelmethode
1
Offenbar zerfällt die Menge aller Bewertungen
von AL in vier Teilmengen
1. die Menge der Bewertungen, bzgl. deren die
Satzbuchstaben ‘p’ und ‘q’ beide wahr sind.
2. die Menge der Bewertungen, bzgl. deren der
Satzbuchstabe ‘p’ wahr und der Satzbuchstabe ‘q’
nicht wahr ist.
3. die Menge der Bewertungen, bzgl. deren der
Satzbuchstabe ‘p’ nicht wahr und der Satzbuchstabe ‘q’ wahr ist.
4. die Menge der Bewertungen, bzgl. deren die
Satzbuchstaben ‘p’ und ‘q’ beide nicht wahr sind.
Die Wahrheitstafelmethode
2
Also
Wenn man für jede dieser Teilmengen nur mit Hilfe
der Bedingungen der Definition 10.3 zeigen kann,
dass (1) wahr ist bzgl. aller Bewertungen dieser
Teilmenge, dann hat man damit auch gezeigt, dass
sich allein aus den Bedingungen der Definition 10.3
ergibt, dass (1) wahr ist bzgl. aller Bewertungen V
von AL
Die Wahrheitstafelmethode
3
p
q
p ∧ q
W
W
W
F
F
F
W
F
W
F
F
→
W
W
W
q
W
F
W
F
W
F
Wahrheitswertverlauf
4
Die Wahrheitstafelmethode
(p → q) ∧ ¬p → ¬q
(2)
p
q
(p → q)
∧
¬
W
W
W
F
F
F
W
F
W
F
W
F
F
W
W
W
Die Wahrheitstafelmethode
→
¬
F W
F W
W F
W
W
F
F W
W F
F W
W
W
W
p
F
q
F
5
(p → q) ∧ ¬p → ¬q
(2)
p
q
W
W
W
F
F
F
W
F
(p → q)
W
∧
¬
p
→
¬
F
F
W
W
W
F
W
W
F
F W
W F
F W
W
W
q
F
6
Die Wahrheitstafelmethode
Man kann mit der Wahrheitstafelmethode nicht nur
für einzelne Sätze von AL, sondern für alle Sätze einer
bestimmten Form überprüfen, ob sie logisch wahr
sind.
Die folgende WT z.B. zeigt, dass alle Sätze der Form
(A → B) → (¬B → ¬A) logisch wahr sind.
A
B
W
W
W
F
F
F
W
F
(A → B)
Die Wahrheitstafelmethode
F
→ (¬ B
F W
W
W
W F
W
→
¬
W
F
W
F W
F W
W F
W
W
W
A)
F
7
Mit Hilfe der Wahrheitstafelmethode kann man
außerdem auch prüfen, ob ein Satz von AL eine
Kontradiktion ist bzw. ob alle Sätze einer bestimmten
Form Kontradiktionen sind.
Die folgende WT z.B. zeigt, dass alle Sätze der Form
(A → B) ↔ (¬B ∧ A) Kontradiktionen sind.
A
B
(A → B)
W
W
W
F
F
F
W
F
W
F
W
↔ (¬ B
F W
F
F
W F
F
F
W
∧
A)
F
W
F
W
W
F
F
F
8
Die Wahrheitstafelmethode
Satz 11.5
Sind A, B und C Sätze der Sprache AL, dann gilt:
1. !AL A → A
2. !AL A ∨ ¬A
3. !AL ¬(A ∧ ¬A)
(Satz der Identität)
(Satz vom ausgeschlossenen Dritten)
(Satz vom ausgeschl. Widerspruch)
4. ! AL (A → ¬A) → ¬A
5. ! AL ¬A → (A → B)
Die Wahrheitstafelmethode
(Satz des Clavius)
(Satz des Duns Scotus)
9
6. ! AL A ∧ B → A
(Satz des Petrus Hispanus)
7. ! AL A → A ∨ B
8. ! AL A ∧ B → (A → B)
9. ! AL A → (B → A)
10a. ! AL (A → B) → (¬B → ¬A)
(Kontraposition)
10b. !AL (¬B → ¬A) → (A → B)
(Kontraposition)
11. ! AL (A → (B → C))→ ((A → B) → (A → C))
10
Die Wahrheitstafelmethode
A
B
C
W
W
W
W
W W
W F
F W
F F
F
F
F
F
W W
W F
F W
F F
(A → (B → C)) → ((A → B) → (A → C))
W
W
W
W
W
F
F
F
F
W
W
W
W
F
W
F
Die Wahrheitstafelmethode
W
W
W
W
W
W
W
W
W
W
W
W
11
Auch wenn es darum geht, zu überprüfen, ob ein
Satz A aus den Sätzen A1, ..., An folgt, kann man die
Wahrheitstafelmethode anwenden.
Dabei gibt es zwei Vorgehensweisen.
Vorgehensweise I
Bei der ersten Vorgehensweise zieht man die
Wahrheitstafeln für die Prämissen A1, ..., An und die
Konklusion A in eine Wahrheitstafel zusammen,
damit man die Wahrheitswertverläufe dieser Sätze
direkt vergleichen kann.
Die Wahrheitstafelmethode
12
Vorgehensweise II
Bei der zweiten Vorgehensweise prüft man, ob die
Subjunktion wahr ist, deren Vorderglied aus der
Konjunktion der Prämissen und deren Hinterglied
aus der Konklusion besteht. D.h., wenn man prüfen
will, ob der Satz A aus den Sätzen A1, ..., An logisch
folgt, überprüft man, ob der Satz
A1 ∧ A2 ∧ ... ∧ An → A
logisch wahr ist.
Die Wahrheitstafelmethode
13
Frage
Folgt der Satz
(14)
q
logisch aus den Sätzen
(15)
p∨q
und
(16)
¬p?
D.h., gilt:
p ∨ q, ¬p !AL q ?
14
Die Wahrheitstafelmethode
p
q
p∨q
W
W
W
F
F
F
W
F
W
W
W
p
q
W
W
W
F
F
F
W
F
F
(p ∨ q)
Die Wahrheitstafelmethode
F
¬
p
q
F W
F W
W F
W F
W
F
W
∧
p
→
q
F
F W
W
W
W
W
F
W
F
W F
W
F
F
¬
15
Satz 11.6
Sind A, B und C Sätze der Sprache AL, dann gilt:
1. A → B, A ! AL B
(Modus ponendo ponens)
2. A → B, B → C ! AL A → C
(Kettenschluss)
3. A ∨ B, ¬B ! AL A
(Modus tollendo ponens)
4. A → B, ¬B ! AL ¬A
(Modus tollendo tollens)
Die Wahrheitstafelmethode
16
Logische Wahrheit
Ein Satz A von AL ist genau dann logisch wahr, wenn
sich allein aus den Bedingungen der Definition 10.3
ergibt, dass A bzgl. aller Bewertungen von AL wahr
ist.
Symbolisch: !AL A
Logische Folgerung
Ein Satz A folgt genau dann logisch aus den Sätzen
A1, ..., An, wenn sich allein aus den Bedingungen der
Definition 10.3 ergibt, dass für alle Bewertungen V
von AL gilt: Sind die Sätze A1, ..., An alle wahr bzgl.
V, dann ist auch A wahr bzgl. V.
Symbolisch: A1, ..., An ! AL A
Logische Äquivalenz
1
Logische Äquivalenz
Zwei Sätze A und B der Sprache AL sind genau dann
logisch äquivalent, wenn sich allein aus den Bedingungen der Definition 10.3 ergibt, dass für alle Bewertungen V von AL gilt: A ist genau dann wahr
bzgl. V, wenn B wahr ist bzgl. V.
Symbolisch: A ! " AL B
Logische Äquivalenz
2
Definition 11.7
Zwei Sätze A und B der Sprache AL heißen logisch
äquivalent (symb.: A ! " AL B) genau dann, wenn
sich allein aus den Bedingungen der Definition 10.3
ergibt, dass für alle Bewertungen V von AL gilt: A ist
genau dann wahr bzgl. V, wenn B wahr ist bzgl. V.
Logische Äquivalenz
3
Frage
Wie beweist man, dass zwei Sätze A und B der
Sprache AL zueinander logisch äquivalent sind?
Satz 11.8
Zwei Sätze A und B der Sprache AL sind genau dann
logisch äquivalent, wenn die Bisubjunktion A ↔ B
logisch wahr ist.
Logische Äquivalenz
4
Satz 11.9
Sind A, B und C Sätze der Sprache AL, dann gelten die
folgenden Äquivalenzen:
1. A !"AL ¬¬A
2. A ∧ A !" AL A
(Gesetz der doppelten Negation)
(Idempotenz der Konjunktion)
3. A ∧ B !" AL B ∧ A
(Kommutativität der Konjunktion)
4. A ∧ (B ∧ C) !" AL(A ∧ B) ∧ C
(Assoziativität der Konjunktion)
Logische Äquivalenz
5
5.a A ∧ B !" AL ¬(¬A ∨ ¬B)
5.b ¬(A ∧ B) !" AL ¬A ∨ ¬B
(Erstes Gesetz von De Morgan)
6. A ∧ B !" AL ¬(A → ¬B)
7. A ∨ A !" AL A
(Idempotenz der Adjunktion)
8. A ∨ B !" AL B ∨ A
(Kommutativität der Adjunktion)
9. A ∨ (B ∨ C) !" AL (A ∨ B) ∨ C
(Assoziativität der Adjunktion)
Logische Äquivalenz
6
10.a A ∨ B !" AL ¬(¬A ∧ ¬B)
10.b ¬(A ∨ B) !" AL ¬A ∧ ¬B
(Zweites Gesetz von De Morgan)
11. A ∨ B !" AL ¬A → B
12. A ∧ (B ∨ C) !" AL (A ∧ B) ∨ (A ∧ C)
(Erstes Distributivgesetz)
13. A ∨ (B ∧ C) !" AL (A ∨ B) ∧ (A ∨ C)
(Zweites Distributivgesetz)
14. A → B !" AL ¬B → ¬A
(Gesetz der Kontraposition)
Logische Äquivalenz
7
15. A → B !" AL ¬(A ∧ ¬B)
16. A → B !" AL ¬A ∨ B
17. A → (B → C) !" AL A ∧ B → C
(Importation und Exportation)
18. A ↔ B !" AL B ↔ A
(Kommutativität der Bisubjunktion)
19. A ↔ (B ↔ C) !" AL (A ↔ B) ↔ C
(Assoziativität der Bisubjunktion)
20. A ↔ B !" AL ¬A ↔ ¬B
21. ¬(A ↔ B) !" AL ¬A ↔ B
22. A ↔ B !" AL (A → B) ∧ (B → A)
Logische Äquivalenz
8
Satz 11.10
Sind A, B und C Sätze der Sprache AL, dann gilt:
Wenn A !"AL B und B !"AL C,
dann auch A !"AL C.
Satz 11.11 (Äquivalente Ersetzung)
Ist A ein Satz der Sprache AL, der den Satz B als Teilsatz enthält, und A′ der Satz, den man aus A erhält,
indem man in A den Teilsatz B durch den Satz C ersetzt, dann gilt:
Wenn B !" AL C, dann auch A !" AL A′.
Logische Äquivalenz
9
Herunterladen