Kurs:Einführung in die mathematische Logik/20/Klausur/kontrolle

Aufgabe	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	${}\sum$
Punkte	3	3	2	2	2	1	3	6	3	0	2	3	0	2	0	0	4	36

Aufgabe * (3 Punkte)Referenznummer erstellen

Aufgabe (2 Punkte)Referenznummer erstellen

In einer U-Bahn-Station wird der Zugang und der Ausgang über eine elektronische Karte geregelt, die man an einen Sensor halten muss, damit sich die Schranke öffnet. Es gibt 5 Ausgänge, aber nur 2 Zugänge. Was haben sich die Leute dabei vermutlich gedacht?

Aufgabe * (2 Punkte)Referenznummer erstellen

Betrachte die beiden Aussagen „Alkohol ist keine Lösung“ und „Kein Alkohol ist auch keine Lösung“. Formalisiere die beiden Aussagen. Man nehme an, dass beide Aussagen wahr sind. Mit welcher aussagenlogischen Regel kann man daraus auf eine Aussage schließen, in der Alkohol nicht vorkommt?

Aufgabe * (2 Punkte)Referenznummer erstellen

Finde einen möglichst einfachen aussagenlogischen Ausdruck, der die folgende tabellarisch dargestellte Wahrheitsfunktion ergibt.

${}p$	${}q$	${}r$	${}?$
w	w	w	w
w	w	f	f
w	f	w	f
w	f	f	f
f	w	w	f
f	w	f	f
f	f	w	f
f	f	f	w

Aufgabe (1 Punkt)Referenznummer erstellen

Lege in der Skizze für die drei Häuser überschneidungsfrei Wege zu den zugehörigen gleichfarbigen Gartentoren an.

Aufgabe (3 Punkte)Referenznummer erstellen

Skizziere ein Verfahren, wie man (bei ${}V$ abzählbar) eine Auflistung sämtlicher syntaktischer Tautologien aus ${}L^{V}$ erhalten kann.

Aufgabe * (6 Punkte)Referenznummer erstellen

Es sei ${}\Gamma \subseteq L^{V}$ eine aussagenlogische Ausdrucksmenge und es sei ${}\alpha \in L^{V}$ mit ${}\Gamma \not \vdash \alpha$ . Zeige mit dem Lemma von Zorn, dass es eine maximal widerspruchsfreie Ausdrucksmenge ${}\Gamma \subseteq \Gamma '$ mit ${}\Gamma '\not \vdash \alpha$ gibt.