Kurs:Einführung in die mathematische Logik (Osnabrück 2014)/Arbeitsblatt 3/kontrolle

Übungsaufgaben

Aufgabe Referenznummer erstellen

Beweise mittels Wahrheitstabellen, dass die folgenden Aussagen Tautologien sind.

1. ${}(\alpha \wedge \alpha )\leftrightarrow \alpha$.
2. ${}\alpha \wedge \beta \rightarrow \alpha$.
3. ${}\alpha \rightarrow (\beta \rightarrow \alpha )$.
4. ${}(\alpha \rightarrow (\beta \rightarrow \gamma ))\rightarrow ((\alpha \rightarrow \beta )\rightarrow (\alpha \rightarrow \gamma ))$.
5. ${}(\alpha \rightarrow \beta )\leftrightarrow (\neg \alpha \vee \beta )$.

Aufgabe Referenznummer erstellen

Man beweise mittels Wahrheitstabellen die Regeln von de Morgan, nämlich dass

$\neg (\beta \vee \gamma )\leftrightarrow (\neg \beta \wedge \neg \gamma )$

und

$\neg (\beta \wedge \gamma )\leftrightarrow (\neg \beta \vee \neg \gamma )$

Tautologien sind.

Aufgabe Referenznummer erstellen

Es seien ${}p_{1},\ldots ,p_{n}$ Aussagenvariablen und ${}\beta _{1},\ldots ,\beta _{n}$ Aussagen. Zeige, dass man, wenn man in einer allgemeingültigen Aussage ${}\alpha$ jedes Vorkommen von ${}p_{i}$ durch ${}\beta _{i}$ ersetzt, wieder eine allgemeingültige Aussage erhält. Zeige, dass die Umkehrung davon nicht gilt.

Aufgabe Referenznummer erstellen

Zeige, dass eine Aussage ${}\alpha \in L^{V}$ genau dann eine Kontradiktion ist, wenn ${}\neg \alpha$ eine Tautologie ist.

Aufgabe Referenznummer erstellen

Man gebe möglichst viele Beispiele für aussagenlogische Kontradiktionen an.

Die folgenden Aufgaben verwenden den Begriff einer Äquivalenzrelation. Dieser ist für viele Konstruktionen in der Mathematik und in der mathematischen Logik entscheidend. Siehe Äquivalenzrelation/Einführung/Textabschnitt.

Eine Äquivalenzrelation auf einer Menge ${}M$ ist eine Relation ${}R\subseteq M\times M$, die die folgenden drei Eigenschaften besitzt (für beliebige ${}x,y,z\in M$).

1. Es ist ${}x\sim x$ (reflexiv).
2. Aus ${}x\sim y$ folgt ${}y\sim x$ (symmetrisch).
3. Aus ${}x\sim y$ und ${}y\sim z$ folgt ${}x\sim z$ (transitiv).

Dabei bedeutet ${}x\sim y$, dass das Paar ${}(x,y)$ zu ${}R$ gehört.

Aufgabe Referenznummer erstellen

Auf den ganzen Zahlen ${}\mathbb {Z}$ lebe eine Kolonie von Flöhen, und jeder Flohsprung geht fünf Einheiten weit (in beide Richtungen). Wie viele Flohpopulationen gibt es? Wie kann man einfach charakterisieren, ob zwei Flöhe zur gleichen Population gehören oder nicht?

Aufgabe Referenznummer erstellen

Es sei ${}B$ ein Blatt Papier (oder ein Taschentuch). Man versuche, sich die folgenden Äquivalenzrelationen auf ${}B$ und die zugehörige Identifizierungsabbildungen vorzustellen (möglichst geometrisch).

1. Die vier Eckpunkte sind untereinander äquivalent, ansonsten sind die Punkte nur zu sich selbst äquivalent.
2. Alle Randpunkte sind untereinander äquivalent, ansonsten sind die Punkte nur zu sich selbst äquivalent.
3. Jeder Punkt des linken Randes ist äquivalent zu seinem horizontal gegenüber liegenden Punkt am rechten Rand, ansonsten sind die Punkte nur zu sich selbst äquivalent.
4. Jeder Punkt des linken Randes ist äquivalent zu seinem horizontal gegenüber liegenden Punkt am rechten Rand und jeder Punkt des oberen Randes ist äquivalent zu seinem vertikal gegenüber liegenden Punkt, ansonsten sind die Punkte nur zu sich selbst äquivalent.
5. Jeder Punkt des Randes ist äquivalent zu seinem punktsymmetrisch (bezüglich des Mittelpunktes des Blattes) gegenüber liegenden Punkt, ansonsten sind die Punkte nur zu sich selbst äquivalent.
6. Es sei ${}K$ ein Kreis (d.h. eine Kreislinie) auf dem Blatt. Alle Kreispunkte seien untereinander äquivalent, ansonsten sind die Punkte nur zu sich selbst äquivalent.
7. Es gebe zwei Punkte ${}P\neq Q$, die untereinander äquivalent seien, ansonsten sind die Punkte nur zu sich selbst äquivalent.
8. Es sei ${}H$ die horizontale Halbierungsgerade des Blattes. Zwei Punkte sind genau dann äquivalent, wenn sie achsensymmetrisch zu ${}H$ sind.

Aufgabe Aufgabe 3.8 ändern

Zeige, dass die Beziehung

$\alpha \sim \beta ,{\text{ falls }}(\alpha )\leftrightarrow (\beta ){\text{ allgemeingültig ist}},$

eine Äquivalenzrelation auf ${}L^{V}$ definiert. Zeige, dass sowohl alle Tautologien als auch alle Kontradiktionen eine Äquivalenzklasse bilden. Wie viele Äquivalenzklassen besitzt diese Äquivalenzrelation, falls ${}V$ ${}n$ Elemente besitzt?

Aufgabe Referenznummer erstellen

Es sei ${}\sim$ die in Aufgabe 3.8 diskutierte Äquivalenzrelation auf ${}L^{V}$. Zeige, dass jede Äquivalenzklasse ${}[\alpha ]$ einen Repräsentanten in disjunktiver Normalform besitzt.

Aufgabe Referenznummer erstellen

Es sei ${}\sim$ die in Aufgabe 3.8 diskutierte Äquivalenzrelation auf ${}L^{V}$ und sei ${}Q$ die zugehörige Quotientenmenge. Es sei ${}\lambda$ eine Wahrheitsbelegung auf ${}V$. Zeige, dass dies eine wohldefinierte Abbildung auf ${}Q$ induziert.

Aufgabe Referenznummer erstellen

Es sei ${}V$ eine Menge von Aussagenvariablen und ${}\alpha$ eine Aussage in der zugehörigen formalen Sprache ${}L^{V}$. Es sei

$\varphi \colon V\longrightarrow V$

eine Abbildung und es sei ${}\varphi (\alpha )$ diejenige Aussage, die entsteht, wenn man in ${}\alpha$ jede Aussagenvariable ${}p$ durch ${}\varphi (p)$ ersetzt. Zeige die folgenden Aussagen.

1. Wenn ${}\alpha$ eine Tautologie ist, so ist auch ${}\varphi (\alpha )$ eine Tautologie.
2. Wenn ${}\varphi$ injektiv ist, so ist ${}\alpha$ genau dann eine Tautologie, wenn dies für ${}\varphi (\alpha )$ gilt.
3. ${}\varphi (\alpha )$ kann eine Tautologie sein, auch wenn ${}\alpha$ keine Tautologie ist.
4. Die Aussagen gelten ebenso, wenn man überall Tautologie durch Kontradiktion ersetzt.

Aufgabe Referenznummer erstellen

Interpretiere die Wahrheitstabellen zu den Junktoren ${}\neg ,\wedge ,\vee ,\rightarrow ,\leftrightarrow$ als Wertetabellen von Funktionen. Was sind die Definitions-, die Werte- und die Bildmengen dieser Funktionen?

Aufgabe Aufgabe 3.13 ändern

Zeige, dass die axiomatisch fixierten syntaktischen Grundtautologien allgemeingültig sind

Aufgabe * Aufgabe 3.14 ändern

Beweise die aussagenlogische Tautologie

$\vdash \alpha \rightarrow (\beta \rightarrow \alpha \wedge \beta )$

aus den aussagenlogischen Axiomen.

Aufgabe Aufgabe 3.15 ändern

Zeige das Assoziativgesetz für die Konjunktion, also

$\vdash {\left(\alpha \wedge \beta \right)}\wedge \gamma \rightarrow \alpha \wedge {\left(\beta \wedge \gamma \right)}.$

Aufgabe Referenznummer erstellen

Es seien ${}\alpha _{1},\ldots ,\alpha _{n}$ Ausdrücke und es seien ${}i_{1},\ldots ,i_{k}$ Elemente aus ${}\{1,\ldots ,n\}$. Zeige, dass

$\vdash \alpha _{1}\wedge \ldots \wedge \alpha _{n}\rightarrow \alpha _{i_{1}}\wedge \ldots \wedge \alpha _{i_{k}}$

gilt.

Aufgabe Referenznummer erstellen

Zeige, dass aus ${}\vdash \alpha _{1},\ldots ,\vdash \alpha _{n}$ und ${}\vdash \alpha _{1}\wedge \ldots \wedge \alpha _{n}\rightarrow \beta$ die Ableitbarkeit ${}\vdash \beta$ folgt.

Aufgabe * Referenznummer erstellen

Zeige, dass eine Regel der Form

Wenn ${}\vdash \alpha$, dann ${}\vdash \beta$ gelten kann, ohne dass ${}\vdash \alpha \rightarrow \beta$ gilt.

Aufgabe Referenznummer erstellen

Es seien ${}p_{1},\ldots ,p_{n}$ Aussagenvariablen und ${}\beta _{1},\ldots ,\beta _{n}$ Aussagen. Zeige, dass man, wenn man in einer syntaktischen Tautologie ${}\alpha$ jedes Vorkommen von ${}p_{i}$ durch ${}\beta _{i}$ ersetzt, wieder eine Tautologie erhält.

Aufgaben zum Abgeben

Aufgabe (3 Punkte)Referenznummer erstellen

Zeige, dass in einer aussagenlogischen Tautologie (und ebenso in einer aussagenlogischen Kontradiktion) mindestens eine Aussagenvariable mehrfach vorkommen muss.

Aufgabe (2 Punkte)Referenznummer erstellen

Es sei ${}\Gamma \subseteq L^{V}$ eine Aussagenmenge derart, dass in keiner Aussage ${}\alpha \in \Gamma$ das Negationszeichen ${}\neg$ vorkommt. Zeige, dass dann die Wahrheitsbelegung, die jeder Aussagenvariablen den Wert ${}1$ zuweist, zu einer Interpretation ${}I$ mit ${}\Gamma \subseteq I^{\vDash }$ führt.

Aufgabe (2 Punkte)Referenznummer erstellen

Zeige, dass die Aussage

$(\alpha \rightarrow \beta )\wedge (\beta \rightarrow \gamma )\wedge (\neg \alpha \rightarrow \beta )\rightarrow \gamma$

allgemeingültig ist.

Aufgabe (3 Punkte)Referenznummer erstellen

Zeige

$\vdash (\alpha \rightarrow \beta )\wedge (\beta \rightarrow \gamma )\wedge (\neg \alpha \rightarrow \beta )\rightarrow \gamma .$

Aufgabe (2 Punkte)Aufgabe 3.24 ändern

Begründe die folgende Ableitungsregel: Aus ${}\vdash \alpha$ und ${}\vdash \alpha \wedge \beta \rightarrow \gamma$ folgt ${}\vdash \beta \rightarrow \gamma$.

Aufgabe (3 Punkte)Referenznummer erstellen

Zeige, dass folgende rekursive Definition zur gleichen Menge an syntaktischen Tautologien führt:

Die Grundtautologien werden nur mit Aussagenvariablen formuliert.

Neben dem Modus ponens gibt es die Ersetzungsregel, d.h. wenn ${}\vdash \alpha$, so ist auch ${}\vdash \alpha '$, wobei ${}\alpha '$ ein Ausdruck ist, der entsteht, wenn man in ${}\alpha$ Aussagenvariablen durch beliebige Aussagen ersetzt.

Zeige, dass ohne diese Ersetzungsregel nicht die gleiche Menge beschrieben wird.

Fußnoten