Logik und Diskrete Strukturen

Werbung
Hertrampf/Wächter/Walter/Weiÿ
Wintersemester 2014/15
Logik und Diskrete Strukturen
Aufgabenblatt 1
Abgabe: bis Mo 27.10. 12:50 in den Abgabekästen im Mittelgang des 1. Stocks.
Besprechung: In den Kalenderwochen 44 und 45.
1.
Logik mit natürlichsprachlichen Aussagen (schriftlich)
(5
Punkte )
Welche der folgenden Aussagen sind korrekte Schlussfolgerungen aus der Aussage Falls das
Wetter schön ist, gehen wir baden ? Welche widersprechen ihr? Begründen Sie Ihre Antwort.
a) Das Wetter ist nicht schön.
b) Das Wetter ist schön und wir gehen nicht baden.
c) Falls das Wetter nicht schön ist, gehen wir nicht baden.
d) Falls wir nicht baden gehen, ist das Wetter nicht schön.
e) Falls wir baden gehen, ist das Wetter nicht schön.
2.
Zahlenpyramide
Eine Zahlenpyramide besteht aus den Zahlen 09. Diese sind als Pyramide angeordnet, d.h.
es gibt 4 Reihen wobei die
n-te Reihe genau n Zahlen enthält. Keine der Zahlen kommt also
doppelt vor. Ein Student hat in der Einführungsvorlesung eine solche Pyramide gesehen.
Leider kann er sich nur noch an wenige Informationen erinnern. Es ist bekannt, dass
0
1 2
3 4 5
6 7 8 9
Eine Zahlenpyramide
•
die Zahlen in der untersten Reihe die Summe 19 haben.
•
die Zahlen der dritten Reihe die Summe 17 haben.
•
die zweite Zahl der untersten Reihe minus der ersten Zahl der untersten Reihe 5 ist.
•
die Zahl der ersten Reihe minus die erste Zahl der zweiten Reihe 6 ist.
•
die jeweils ersten Zahlen jeder Reihe sich zu 17 summieren.
•
die dritte Zahl der dritten Reihe minus der letzten Zahl der vierten Reihe 3 ergibt.
Helfen Sie dem Studenten die Pyramide zu rekonstruieren. Ist die Lösung eindeutig?
Bonusaufgabe (2 Punkte, schriftlich): Ist die Lösung noch eindeutig wenn man eine beliebige
der Bedingungen weglässt? Beweisen Sie Ihre Antwort!
3.
Ritter und Schurken
Auf einer Insel leben ausschlieÿlich Ritter und Schurken, welche sich äuÿerlich jedoch nicht
unterscheiden lassen. Ritter sagen immer die Wahrheit, während Schurken stets lügen. Ein
Besucher der Insel berichtet:
a) Ich traf einen Insulaner, der mir erzählte: Mein Vater hat einmal gesagt, dass er und
ich verschiedenen Typen angehören, einer ist ein Ritter und der andere ein Schurke.` Kann der Vater das wirklich gesagt haben?
b) Am nächsten Tag traf ich einen Soziologen, der die Insel besuchte. Er berichtete: Ich
habe alle Bewohner der Insel befragt und folgendes entdeckt: Zu jedem Bewohner
gibt es mindestens einen Bewohner
Y,
der behauptet, dass er und
seien.` . Hat der Soziologe gewissenhaft gearbeitet?
X
X
beide Schurken
4.
Bäume zu Formeln
Zeichnen Sie den zur Formel
Teilformeln hat
5.
F = ¬(¬((A ∧ B) ∨ ¬(C ∨ B)))
zugehörigen Baum. Welche
F?
Grundbegrie (schriftlich)
(10
Gegeben seien die folgenden Formeln
Punkte )
F1 , . . . , F 6 .
F1 = ¬A ∧ B
F2 = ¬A ↔ B
F3 = (A → (A ∧ B)) ∨ ¬B
F4 = ¬A ∨ B F5 = ¬(B → A) ∧ B
F6 = ¬B ∧ ¬(B → A)
a) Stellen Sie für die Formeln
F1 , . . . , F6
Verknüpfungstafeln (Wahrheitswertetabelle) auf.
Geben Sie die atomaren Formeln in alphabetischer Reihenfolge an und zählen Sie die
Belegungen in aufsteigender lexikographischer Ordnung auf.
b) Welche der Formeln
Fi
sind erfüllbar? Welche sind gültig?
c) Für welche
i 6= j
d) Finden Sie
i, j, k ∈ {1, . . . , 6},
gilt
Fi ≡ Fj ?
• Fi 6|= Fk ,
sodass die folgenden Bedingungen erfüllt sind:
• Fj 6|= Fk ,
• Fi , Fj |= Fk .
|=
Begründen Sie dies mit Hilfe der Denition von
Fi , Fj , Fk .
Erinnerung : F |= G
und der Verknüpfungstafeln der
Formeln
6.
bedeutet
|= (F → G),
also
F →G
ist gültig.
Formelmengen
a) Geben Sie aussagenlogische Formeln
F1 , F2 , F3
{F1 , F2 , F3 } ist unerfüllbar.
Mengen {F1 , F2 }, {F1 , F3 }, {F2 , F3 }
mit folgenden Eigenschaften an:
(i) Die Menge
(ii) Die
sind alle erfüllbar.
Geben Sie für die zwei-elementigen Mengen Modelle an.
b) Sei
n ≥ 3
beliebig. Geben Sie eine Formelmenge
Mn = {F1 , . . . , Fn }
mit folgenden
Eigenschaften an:
(i)
Mn
(ii) Alle
ist unerfüllbar.
(n − 1)-elementigen
Teilmengen von
Mn
sind erfüllbar.
Begründen Sie kurz, warum die von Ihnen gewählte Menge
und (ii) hat.
Mn
die Eigenschaften (i)
Hinweise zum Ablauf der Übungen:
•
Die Anmeldung zu den Übungen erfolgt über die Webseite
https://eclaus.informatik.uni-stuttgart.de
Login:
Passwort:
lds14
goedel
Die Freischaltung der Anmeldeseite erfolgt am Dienstag, den 14.10., um 19:15 Uhr.
Bitte melden Sie sich bis spätestens Freitag 17.10. 11:00 Uhr an.
•
Jedes Blatt enthält schriftliche Aufgaben (durch Angabe von Punkten gekennzeichnet).
Ihre Lösung der schriftlichen Aufgaben geben Sie in leserlicher Form in den Abgabekästen im 1. OG (gegenüber von Raum 1.024) ab. Vergessen Sie nicht, Ihre Abgabe
mit Ihrem Namen, dem Namen Ihres Tutors
und der Gruppennummer
zu kennzeich-
nen. Falls Sie mehrere Blätter abgeben, heften Sie diese zusammen. Die Abgaben sind
Gruppenabgaben (der Gröÿe kleiner gleich 3) oensichtlich abgeschriebene Lösungen
werden mit 0 Punkten bewertet.
•
Die übrigen Aufgaben bereiten Sie bitte soweit zu Hause vor, dass Sie in der Lage sind
eventuelle Probleme gleich zu Beginn der Übung zu klären. Insbesondere sollten Sie
alle Begrie, die auf dem Übungsblatt vorkommen, erklären können.
•
Jede zweite Woche (im Wechsel zu den schriftlichen Abgaben) gibt es MC-Tests im
eClaus. Die Besprechung der MC-Tests ndet in den Ergänzungen statt.
•
In der letzten Vorlesungswoche wird es eine Scheinklausur geben.
•
Einen Schein erhält, wer die Scheinklausur besteht, mindestens 50% der Punkte der
schriftlichen Abgaben und 50% in den MC-Tests erreicht sowie eine regelmäÿige und
aktive Teilnahme in den Übungsgruppen zeigt (Anwesenheit, mindestens einmal vorrechnen).
•
Um an der Modulprüfung Theoretische Grundlagen der Informatik
teilzunehmen,
benötigen Sie einen Übungsschein in Logik und diskrete Strukturen oder in Formale Sprachen und Automatentheorie (2. Semester). Um an der Modulprüfung Logik
und diskrete Strukturen teilzunehmen, benötigen Sie den Übungsschein in Logik und
diskrete Strukturen .
•
Informationen
zur
Vorlesung
und
den
Übungen
nden
http://www.fmi.uni-stuttgart.de/ti/lehre/ws14/lds/
sich
auf
der
Homepage:
Herunterladen