• Keine Ergebnisse gefunden

SS 2012 16.5.2012 Übungen zur Vorlesung Logik Blatt 3 Jun.-Prof. Dr. Roland Meyer Abgabe bis 29.5.2012 12:00 Uhr

N/A
N/A
Protected

Academic year: 2021

Aktie "SS 2012 16.5.2012 Übungen zur Vorlesung Logik Blatt 3 Jun.-Prof. Dr. Roland Meyer Abgabe bis 29.5.2012 12:00 Uhr"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

SS 2012 16.5.2012 Übungen zur Vorlesung Logik

Blatt 3

Jun.-Prof. Dr. Roland Meyer Abgabe bis 29.5.2012 12:00 Uhr Aufgabe 3.1 [Vollständige offene Äste in Tableaux]

Beweisen Sie Lemma 2.10 aus den Folien unter Verwendung von struktureller Induk- tion.

Aufgabe 3.2 [Gentzen-Kalkül]

Zeigen Sie:

a) p p p Ñ q qq $

G

p q Ñ p q b) $

G

p p ^ q q Ñ p p _ r q

c) s ^ r, r Ñ p p ^ q q $

G

p, q Aufgabe 3.3 [Tableauxfolgerung]

Zeigen Sie:

a) p A ^ B q $

τ

pp A q ^ p B qq b) p A ^ p A Ñ B qq $

τ

B

c) A Ñ p B Ñ C q $

τ

p A Ñ B q Ñ p A Ñ C q Aufgabe 3.4 [Davis-Putnam]

Zeigen Sie mit dem Davis-Putnam-Verfahren:

a) p ^ q, q Ñ r ( r

b) p Ñ r, q Ñ s, p _ q ( r _ s c) q, p Ñ q ( p

d) ( p p Ñ q q Ñ p q Ñ p q

Abgabe: bis 29.5.2012 12:00 Uhr im Kasten neben Raum 34/401.4

Referenzen

ÄHNLICHE DOKUMENTE

Beweisen Sie mittels struktureller Induktion, dass jede Formel eine äquivalente For- mel in

Jun.-Prof. Roland Meyer Abgabe bis 5. Schlie- ßen Sie aus a) und b), dass es eine Struktur gibt, die elementar äquivalent, aber nicht isomorph ist zu N .. Aufgabe 6.2 [Erfüllbarkeit

a) Geben Sie ein möglichst schnelles Verfahren an, das für eine gegebene Formel in DNF entscheidet, ob sie erfüllbar ist oder nicht... b) In Präsenzaufgabe 1.3 haben Sie gesehen,

Eine Menge M heißt rekursiv aufzählbar, wenn es einen Algorithmus gibt, der eine (mög- licherweise unendliche) Sequenz ausgibt, für die gilt: ein Element kommt genau dann in der

A set M is called recursively enumerable, if there is an algorithm that outputs a (possibly infinite) sequence in which each element occurs if and only if it is contained in M.

Mai 2012 Präsenzübungen zur Vorlesung Logik..

Das Ballspiel nach Smullyan wird von einer Person gespielt und verläuft nach fol- genden Regeln: Es steht ein Behältnis zur Verfügung, das unbegrenzt viele Bälle fassen kann..

[r]