Aussagenlogik - Mathematik

Christian Eisentraut & Julia Krämer
www.vorkurs-mathematik-informatik.de
Mathematik-Vorkurs für Informatiker
Aussagenlogik1
Aufgabe 1. (Wiederholung wichtiger Begriffe)
Notieren Sie die Definitionen der folgenden Begriffe aus dem Kopf ohne im Skript nachzuschlagen und korrigieren Sie dann ihre Lösungen:
(a) Konjunktion
(b) Disjunktion
(c) notwendig
(d) hinreichend
(e) Implikation
(f) Äquivalenz
(g) Tautologie
(h) Kontradiktion
(i) erfüllbar
(j) Logische Gleichheit
Kategorie
Aufgabe 2. (Wiederholung - etwas anders)
Sie möchten ein Übersetzungsprogramm von Deutsch nach Aussagenlogik und von Aussagenlogik nach Deutsch schreiben. Wie gehen Sie vor? Worauf müssen Sie achten?
Wovon glauben Sie, dass es sehr leicht funktionieren wird, was könnte Ihrer Meinung
nach Probleme bereiten?
Kategorie
Aufgabe 3. (Aussagen)
Entscheiden Sie, ob die folgenden Sätze Aussagen sind. Geben Sie jeweils auch an, warum
es sich Ihrer Meinung nach um eine/keine Aussage handelt.
Kategorie
Beispiel
• In Saabrücken regnet es. — Ein Blick aus dem Hörsaal liefert die Antwort:
Entweder regnet es oder es regnet nicht, man kann also eindeutig mit “Ja”
oder “Nein” antworten. Damit handelt es sich bei diesem Satz um eine Aussage.
1
Die vorlegende Sammlung an Übungsaufgaben erstellt von Christian Eisentraut und Julia Krämer
(www.vorkurs-mathematik-informatik.de) ist inklusive aller darin vorkommenden Texte und Bilder lizenziert unter einer Creative Commons Namensnennung - Nicht-kommerziell - Weitergabe
unter gleichen Bedingungen 4.0 International Lizenz. Weitere Hinweise finden Sie unter http:
//creativecommons.org/licenses/by-nc-sa/4.0/.
1
• Alle Feen haben Zauberstäbe. – Bei diesem Satz ist es, – erstaunlicherweise –
egal, ob es Feen gibt oder nicht, um zu entscheiden, ob es sich um eine Aussage
handelt. Gibt es Feen, so kann man entscheiden, ob alle einen Zauberstab
besitzen oder nicht. Gibt es keine Fee, so gibt es auch keine Fee, die keinen
Zauberstab hat und der Satz wäre wahr. a Damit können wir in jedem Fall
den Wahrheitswert des Satzes eindeutig festlegen und damit handelt es sich
um eine Aussage.
a
Wenn Ihnen diese Argumentation seltsam vorkommt, müssen Sie sich noch etwas gedulden. Im
Kapitel Prädikatenlogik werden wir noch näher darauf eingehen.
(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
(i)
(j)
(k)
(l)
(m)
Alle Rosen sind rot.
Wie geht es dir?
Guten Tag!
Morgen ist Mittwoch.
4+3=7
Sei x = 3 + 5.
Autos haben vier Räder und Computer brauchen Strom.
Mir geht es gut und wie geht es dir?
4 + 3 = 8 und 4 − 1 = 2
Heute ist das Wetter schön oder nicht?
Ein Monat hat 30 Tage oder eine Woche hat 8 Tage.
Wenn du da bist, ruf mich bitte an!
Wenn 9 + 3 = 12, dann ist heute Dienstag.
Aufgabe 4. (Syntax – Anwendung der Grammatik)
Sind die folgende Ausdrücke bezüglich der Grammatik für aussagenlogische Ausdrücke
korrekt? Nehmen Sie an, dass φ und ψ Metavariablen sind.
Beispiel
p∨p p – Mit der Grammtik ist es nicht möglich zwei aufeinander folgende Variablen
abzuleiten, damit ist der Ausdruck nicht gültig.
(a)
(b)
(c)
(d)
(e)
(f)
⊤∨
φ∨ψ
p
qp
p ∧ ∨q
p∨q
Geben Sie nun einfache Regeln an, mit denen man bestimmen kann, ob etwas zur Sprache
der Aussagenlogik gehört oder nicht.
2
Kategorie
Aufgabe 5. (Syntax - mehr Struktur (1))
Geben Sie Strukturbäume zu folgenden Aussagen an:
(a) ⊤ ∧ ⊥ ∨ ⊤ ∨ p → q ↔ r ∧ ⊤
(b) p → q → r ∧ s ∨ q
(c) r ↔ s ∧ q
Kategorie
Aufgabe 6. (Syntax – mehr Struktur (2))
Nun die umgekehrte Richtung: Geben Sie Ausdrücke zu folgenden Strukturbäumen an:
Kategorie
∧
→
∨
p
q
→
¬
∧
r
∨
p
s
∧
⊤ ⊤
↔
r
⊥
⊤
⊥
Aufgabe 7. (Strukturbäume – mal anders)
Zeichnen Sie Strukturbäume von einem aussagenlogischen Ausdruck φ, der den folgenden
Bedingungen genügt:
Beispiel
φ enthält eine Äquivalenz, deren beide Operanden wieder zusammengesetzt sind,
aber mittels verschiedenen Operatoren. – Unser Strukturbaum muss mindestens
einen Knoten enthalten, der mit ↔ beschriftet ist. Darüber hinaus dürfen die Knoten an den ausgehenden Kanten weder ⊤, ⊥ noch Aussagenvariablen sein, sondern
müssen Operatoren sein. Außerdem müssen diese Operatoren verschieden sein. Wir
geben ein paar mögliche Beispiele an. Seien dazu im Folgenden p, q und r Aussagevariablen.
¬
↔
↔
∧
p
⊤
r
→
⊕
∨
⊥
r
q
p
⊥
(a) φ ist die Negation einer Konjunktion.
(b) φ ist eine Implikation, deren Prämisse eine Konjunktion ist.
(c) φ enthält eine Konjunktion, eine Disjunktion und eine Implikation, aber die Wurzel
ist mit keinem dieser Operatoren beschriftet.
(d) φ enthält sowohl des exklusive Oder als auch das normale Oder, aber keiner von
beiden Operatoren hat einen zusammengesetzten Operanden.
3
Kategorie
Aufgabe 8. (Wahrheitstafeln – Grundlegendes)
Füllen Sie die folgenden Wahrheitstafeln aus. Sammeln Sie alle Gesetzmäßigkeiten, die
Ihnen auffallen.
Hinweis: Verwenden Sie die Semantik J·K zum Bestimmen der Werte der aussagenlogischen Ausdrücke. Notieren Sie dabei jeden Zwischenschritt.
Beispiel
p q (p ∧ q) ∨ (p → q)
f
f
w
f w
w
w f
f
w w
w
Der Wert in der ersten Zeile der Tabelle wird nun mit Hilfe der Semantik bestimmt:
JpK = f, JqK = f. Nach Definition der Semantik gilt: Jp ∧ qK = f und Jp → qK = w. Sei
φ := p ∧ q und ψ := p → q, dann Jφ ∨ ψK = w nach der semantischen Abbildung,
da JφK = f und JψK = w. (Hier ist nur ein Beispiel gegeben, man muss mit allen
weiteren Zeilen genauso verfahren.)
Die Aussage ist logisch äquivalent zur Implikation. Um die Wahrheitswerte einer
“oder”-Verknüpfung zu bestimmen, muss man nur solange einen Teilausdruck auswerten bis einer der beiden wahr wird.
Die
p
f
f
w
w
erste Tabelle dient zur Wiederholung der Operatoren:
q ⊤ ⊥ ¬p p ∨ q p ∧ q p → q p ↔ q p ⊕ q
f
w
f
w
¬(p ∨ q)
p
f
f
w
w
q
f
w
f
w
p
f
w
¬(¬p)
p∧⊤
¬p ∧ ¬q
p∨⊤
¬(p ∧ q)
p⊕⊤
¬p ∨ ¬q
p∨⊥
p∧p
p∧⊥
p∨p
p⊕⊥
4
Kategorie
p
f
f
w
w
q
f
w
f
w
p→⊥
¬(¬p ∧ ¬q)
¬(¬p ∨ ¬q)
(p ∨ q) ∧ ¬(p ∧ q)
¬p ∨ q
Aufgabe 9. (Wahrheitstafeln – nun in Schwerer)
Die folgenden Tabellen enthalten schwere Ausdrücke. Ihre Aufgabe ist es nun, die Tabellen auszufüllen. Verwenden Sie dazu die Gesetzmäßigkeiten und Tricks, die Sie in
Aufgabe ?? gefunden haben.
Kategorie
Sie müssen die Zwischenschritte, die in der aussagenlogischen Semantik zum Auswerten
von Ausdrücken notwendig sind, nicht explizit aufschreiben.
p
f
f
w
w
q
f
w
f
w
(p ∧ q ↔ p) → q ↔ p
p
f
f
w
w
q
f
w
f
w
p∧q∨p⊕q ↔p→q
p→p→q
p↔p↔p
p → q ∨ p ∧ ¬q ∧ p
p∨q∨p∨q →p
¬q ∧ ¬p ∨ q
¬p ∨ q → ¬q → ¬p
Aufgabe 10. (Was ist die Baumdarstellung genau?)
Warum gibt es keinen Sinn w bzw. f als Blatt in der Baumdarstellung zu benutzen?
Diskutieren Sie!
Kategorie
Gruppenaufgabe
Aufgabe 11. (Logische Äquivalenzen)
Sie wollen beweisen, dass p ∧ p ≡ p gilt. Wie würden Sie Vorgehen? Ist es möglich einen
Beweis per Wahrheitstabelle zu führen? Können Sie Ihr Vorgehen auch auf einen Beweis
wie den folgenden anwenden: Für alle natürlichen Zahlen n gilt: Ist n2 gerade, so ist
auch n gerade.
Kategorie
Aufgabe 12. (Hinreichend vs. Notwendig)
Formulieren Sie die folgenden Aussagen in aussagenlogische Ausdrücke um, indem Sie
zunächst für jede Teilaussage eine Aussagenvariable definieren und dann die Teilaussagen
mit den bekannten aussagenlogischen Operatoren verbinden.
Kategorie
5
Beispiel
Einen Führerschein zu haben ist notwendig dafür, dass man Autofahren darf. –
q :=
p :=
}|
{
z
z
}|
{
Einen Führerschein zu haben ist notwendig dafür, dass man Autofahren darf .
Also: q → p. Notwendige Aussagen stehen vereinfacht gesagt immer rechts in der
Implikation, hinreichende Aussagen immer links.
(a) Wenn die Blumen nicht gegossen worden sind, dann ist es hinreichend dafür, dass
es geregnet hat, so dass man die Blumen nicht zu gießen braucht.
(b) 4 + x = 8 ist notwendig und hinreichend dafür, dass x = 4.
(c) In einem Raum, in dem es nur ein Fenster und keine Tür oder sonstige Öffnungen
gibt, ist die Tatsache, dass das Fenster offen ist, notwendig dafür, dass frische Luft
hineinkommt.
(d) Das jemand Kuchen gebacken hat, ist notwendig dafür, dass man Kuchen essen
kann.
(e) Keine Bewölkung am Himmel ist notwendig aber nicht hinreichend dafür, dass die
Sonne scheint.
(f) Dass die Bäume Blätter haben ist hinreichend dafür, dass es nicht Winter ist.
(g) Verkehrsregeln sind notwendig, aber nicht hinreichend um Unfälle zu vermeiden.
(h) In der Mensa zu essen, ist hinreichend dafür zu wissen, wo sie ist.
Aufgabe 13. (Verzwickt!)
Paul, Paula und Pauline liegen im Streit um das letzte Stück Kuchen. Nachdem Sie das
Stück letztendlich geteilt haben, wollen Sie herausfinden, wer mit dem Streit angefangen
hat.
Kategorie
Paul sagt: “Einer von uns hat auf jeden Fall mit dem Streit angefangen.”
Paula sagt: “Es ist nicht wahr, dass wenn ich nicht der Täter bin, Pauline der Schuldige
ist.”
Pauline sagt: “Wenn Paul Schuld ist, dann sind Paula und ich nicht Schuld.”
Finden Sie den Schuldigen!
Aufgabe 14. (Logische Äquivalenzen beweisen)
Beweisen Sie die folgenden Äquivalenzen, indem Sie die eine Aussage in die andere mit
Hilfe der Gesetze der Aussagenlogik (und natürlich der Definition der Operatoren) umformen.
Beispiel
Zu zeigen Sie die Äquivalenz für beliebige Aussagenvariablen p,q und r:
6
Kategorie
p ∧ (q ∨ r) ≡ ¬(p → ⊥) → (q → ⊥) → p ∧ r
≡
≡
≡
≡
≡
p ∧ (q ∨ r)
(p ∧ q) ∨ (p ∧ r)
¬(p ∧ q) → (p ∧ r)
(¬p ∨ ¬q) → (p ∧ r)
(p → ⊥) ∨ (q → ⊥) → (p ∧ r)
¬(p → ⊥) → (q → ⊥) → p ∧ r
Distributivität
Definierbarkeit
De Morgan
Definierbarkeit
Definierbarkeit
(a) ((p ∨ q) ∧ (p ∨ ¬q) ∧ (¬p ∨ q) ∧ (¬p ∨ ¬q)) → r ≡ ⊤
(b) (¬p ∧ q) → ((q ∨ ¬r) → r) ≡ ¬(p → q) → (r → q) → r
(c) (p ∨ q) ∧ (q ∨ r) ≡ ¬((¬p → q) → ¬(¬q → r))
Aufgabe 15. (Tautologien, Erfüllbare Aussagen, Kontradiktionen)
Entscheiden Sie, ob die folgenden Aussagen Kontradiktionen, erfüllbar oder Tautologien
sind.
Kategorie
Hinweis: Verwenden Sie Ihr bisheriges Wissen über Gesetze der Aussagenlogik, Kontradiktionen und Tautologien. Wahrheitstabellen für die Ausdrücke auszufüllen ist sehr
aufwendig.
(a) p → p → q → p ↔ ⊥
(b) p ↔ q ∨ ¬q
(c) p ∨ q ∨ s ∨ r → ¬s
(d) p ∨ q ∨ s ∨ r → s
(e) ⊤ ∧ s ↔ s ∨ ⊥
(f) (s ⊕ p ⊕ r ↔ q) ∧ s ∨ p ∧ (q ↔ r → s)
Aufgabe 16. (Aussagenlogische Operatoren (1))
Was ist die kleinste Menge von aussagenlogischen Operatoren, die vollständig ist in dem
Sinne, dass Sie mit ihr alle anderen Operatoren darstellen können?
Kategorie
Finden Sie eine noch kleinere Menge, wenn Sie sich neue Operatoren überlegen, die Sie
bisher nicht kennengelernt haben?
Aufgabe 17. (Aussagenlogische Operatoren (2))
Wieviele verschiedene aussagenlogische Operatoren mit n Operanden sind denkbar?
Kategorie
Hinweis: Suchen Sie alle möglichen Verknüpfungen von n Operanden, so dass es für je
zwei Operanden mindestens eine Belegung gibt, so dass diese sich voneinander unterscheiden.
7
Aufgabe 18. (Logik verallgemeinert)
Können Sie sich eine sinnvolle Logik vorstellen, die mehr Wahrheitswerte kennt als w
und f? Kann man noch Operatoren darauf definieren? Könnten Sie sich eine Anwendung
vorstellen? Diskutieren Sie!
Kategorie
Gruppenaufgabe
Aufgabe 19. (Normalformen)
In der Informatik und Mathematik, gibt es kanonische Formen für Formeln. Wir definieren hierfür Literale: Sei φ ein Atom. Dann sind φ und ¬φ Literale.
Kategorie
Definition 1 (Normalform) Seien (li,j ) Atome und mi natürliche Zahlen. Man sagt, eine
Formel ist in konjunktiver Normalform, falls sie eine Konjunkton von Disjunktionen
mi
n ∨
∧
von Literalen ist, also falls sie die Form
li,j hat. Eine Formel ist in disjunktiver
i=1 j=1
Normalform, falls sie eine Disjunktion von Konjunktionen von Literalen ist, also die
mi
n ∧
∨
Form
li,j hat.
i=1 j=1
Kann man alle Formeln in konjunktive bzw. disjunktive Normalform bringen? Wenn ja,
geben Sie einen entsprechende Vorgehensweise an, wenn nein, begründen Sie.
Aufgabe 20. ((R-)Evolution)
Stellen Sie sich vor, es gäbe keine Logik.
(a) Überlegen Sie, welche Konsequenzen jegliches Fehlen von Logik hätte.
(b) Sie wollen nun dem ungeordneten Denken, Schließen und Diskutieren ein Ende
setzen und mit Logik die Argumentation vereinfachen. Wie würden Sie so eine
Logik gestalten?
8
Kategorie
Gruppenaufgabe