• Keine Ergebnisse gefunden

3. ¨Ubung Mathematische Logik Abgabe : bis Donnerstag, den 9.11. um 8:15 Uhr am Lehrstuhl oder in der Vorlesung

N/A
N/A
Protected

Academic year: 2021

Aktie "3. ¨Ubung Mathematische Logik Abgabe : bis Donnerstag, den 9.11. um 8:15 Uhr am Lehrstuhl oder in der Vorlesung"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Lehr- und Forschungsgebiet

Mathematische Grundlagen der Informatik RWTH Aachen

Prof. Dr. E. Gr¨adel, V. Barany, T. Ganzow, L. Kaiser, M. Ummels

WS 2006/07

3. ¨Ubung Mathematische Logik

Abgabe : bis Donnerstag, den 9.11. um 8:15 Uhr am Lehrstuhl oder in der Vorlesung

Aufgabe 1 5 Punkte

Das n-Damen Problem besteht darin, auf einem n×n- Schachbrettn Damen so aufzustellen, dass sie sich gegenseitig nicht bedrohen. ¨Uberlegen Sie sich eine geeignete Modellierung f¨ur Aufstellungen und formalisieren Sie dann das Problem in der Aussagenlogik.

Aufgabe 2 9 Punkte

(a) Weisen Sie mit der Resolutionsmethode nach, dass die folgende Formel unerf¨ullbar ist : (C∨B)∧(A∨ ¬B∨C)∧(¬C∨B)∧(¬A∨ ¬B)∧(A∨ ¬C).

(b) Weisen Sie mit der Resolutionsmethode nach, dass die folgende Formel allgemeing¨ultig ist : (¬C∧B)∨A∨(C∧ ¬D∧ ¬A)∨(¬B∧ ¬A)∨(C∧D).

(c) Beweisen oder widerlegen Sie die folgende semantische Folgerung anhand der Resolutions- methode :

(¬E∨C)∧(B∨E∨C∨ ¬D)∧(¬B∨E)∧(¬C∨A)∧(B∨C∨D)|= (C∧A).

Aufgabe 3 6 Punkte

Eine FormelmengeΦ⊆AL istendlich axiomatisierbar, wenn eine endliche FormelmengeΨ ⊆AL existiert, welche die gleichen Modelle hat wieΦ.

Sei Φ := {ϕn : n∈N} eine Formelmenge, so dass f¨ur alle n ∈ N gilt, ϕn+1 |= ϕn aber ϕn6|=ϕn+1. Zeigen Sie, dass Φnicht endlich axiomatisierbar ist.

Aufgabe 4 6 Punkte

SeiΦ12 (· · ·(Φn(· · · eine zunehmende unendliche Mengenfolge von aussagenlogischen Formeln. Zeigen Sie, dass die Vereinigung Φ:=S

n∈NΦngenau dann erf¨ullbar ist, wenn alleΦn

erf¨ullbar sind.

Aufgabe 5 6 Punkte

Das Schubfachprinzip von Dirichlet (1805-1859) ist ein unsch¨atzbares Werkzeug der Kombina- torik. In seiner einfachsten Variante lautet es: Werdenn+ 1 Perlen aufnSchubf¨acher verteilt, so gibt es wenigstens ein Schubfach mit mehr als einer Perle.

(i) Formulieren Sie dieses Prinzip in der Aussagenlogik f¨ur einen gegebenen Wertn∈N. (ii) Zeigen Sie durch Resolution, dass das Prinzip f¨urn= 2 gilt.

http://www-mgi.informatik.rwth-aachen.de/Teaching/MaLo-WS06/

Referenzen

ÄHNLICHE DOKUMENTE

Prof. Eine Theorie T heißt κ-kategorisch, falls sie bis auf Isomorphie genau ein Modell der Kardinalität κ besitzt. ohne Maximum und Minimum) ω-kategorisch

Sei Φ ein konsistentes Axiomensystem, das rekursiv aufzählbar und repräsentativ ist.. Sei Φ ein konsistentes Axiomensystem, das

Hinweis: Aufgaben mit einem ∗ können freiwillig bearbeitet werden und geben Zusatzpunkte. Aufgabe 1

gibt, so dass jedes endliche Anfangsst¨ uck von α zu einem Wort aus A verl¨ angert werden kann. Gilt diese Aussage auch, wenn Σ eine beliebige endliche

Mathematische Grundlagen der Informatik RWTH

Mathematische Grundlagen der Informatik RWTH

(c) Zeigen Sie, dass jedes Model-Checking-Spiel f¨ ur alternierungsfreie LFP-Formeln (Formeln, in denen kleinste und gr¨ oßte Fixpunkte nicht geschachtelt vorkommen) durch

Zeigen Sie, dass Parit¨ atsspiele homogen positional determiniert sind, dass es also positionale homogene Strategien σ 0 (f¨ ur Spieler 0) und σ 1 (f¨ ur Spieler 1) gibt, so dass σ