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

Übungsaufgaben

Aufgabe Referenznummer erstellen

Zeige, dass das erste Symbol in jeder Aussage aus ${}L^{V}$ entweder eine Aussagenvariable ${}p\in V$ oder das Negationszeichen ${}\neg$ oder eine linksseitige Klammer ${}($ ist.

Aufgabe * Referenznummer erstellen

Beweise durch Induktion über den rekursiven Aufbau der Sprache ${}L^{V}$, dass in jeder Aussage ${}\alpha \in L^{V}$ die Anzahl der linken Klammern mit der Anzahl der rechten Klammern übereinstimmt.

Aufgabe Referenznummer erstellen

Zeichne einen Abstammungsbaum für die Aussage

$((p)\wedge (\neg (q)))\wedge (\neg (r)).$

Aufgabe Referenznummer erstellen

Zeichne einen Abstammungsbaum für die Aussage

$((\neg (\neg (p)))\leftrightarrow (\neg (q)))\vee ((p)\rightarrow ((\neg (r))\wedge (\neg (q)))).$

Aufgabe Referenznummer erstellen

Es sei ein aussagenlogischer Ausdruck der Form

$(...)*(...)$

gegeben, wobei ${}*=\wedge ,\vee ,\rightarrow ,\leftrightarrow$ ist. Es sei vorausgesetzt, dass die Klammer ${})$ links von ${}*$ die linke öffnende Klammer abschließt (wie ist das zu definieren?). Zeige, dass dann die Zeichenketten innerhalb der beiden Klammern Aussagen sind, und dass der Gesamtausdruck durch einen dritten Schritt im rekursiven Aufbau der Sprache aus diesen beiden Aussagen entstanden ist. Zeige, dass dies ohne die Klammervoraussetzung nicht der Fall sein muss.

Aufgabe Aufgabe 2.6 ändern

Zeige, dass der letzte Konstruktionsschritt einer Aussage eindeutig bestimmt ist. Folgere, dass sich die rekursive Entstehung einer Aussage eindeutig rekonstruieren lässt.

Aufgabe * Referenznummer erstellen

Definiere zu jeder Aussage ${}\alpha \in L^{V}$ die Menge ${}\operatorname {Var} _{}^{}{\left(\alpha \right)}$ der in ${}\alpha$ vorkommenden Aussagenvariablen.

Aufgabe Referenznummer erstellen

Es sei ${}S=\{A,B,C\}$. Betrachte die rekursiv definierte Teilmenge ${}T\subseteq S^{*}$, die wie folgt festgelegt wird.

1. Jedes Element aus ${}S$ gehört zu ${}T$.
2. Wenn ${}X,Y\in T$ sind, so gehört auch ${}XXY$ zu ${}T$.

Bestimme, welche der folgenden Wörter zu ${}T$ gehören.

$A,\,ABABC,\,AABBB,\,AABAABA,\,AAAA,\,AABABAAB,\,AAAAAABBB.$

Zeige die folgenden Aussagen.

1. Jedes Element aus ${}T$ besitzt eine ungerade Wortlänge.
2. Jede ungerade Zahl kommt als Wortlänge eines Elements aus ${}T$ vor.
3. Es gibt Elemente in ${}T$, die auf mehrfache Weise generiert werden können.
4. Jedes Wort ${}t\in T\setminus S$ beginnt mit zwei gleichen Buchstaben.

Aufgabe Referenznummer erstellen

Eine Geschenkfabrik verfügt über leere, offene Schachteln (unterschiedlicher Größe) und über Maschinen, die die beiden folgenden Abläufe durchführen können.

1. Eine offene Schachtel schließen.
2. Eine geschlossene Schachtel in eine größere offene Schachtel (in der schon andere Schachteln liegen dürfen) hineinlegen.

Ein Produkt der Fabrik ist das Ergebnis aus diesen (beliebig verschachtelten) Abläufen.

1. Definiere (induktiv) die Schachtelanzahl eines Produkts der Fabrik.
2. Definiere die Verschachtelungstiefe eines Produkts der Fabrik.
3. Definiere die Arbeitsschrittanzahl eines Produkts der Fabrik.
4. Bestimme die Schachtelanzahl, die Verschachtelungstiefe und die Arbeitsschrittanzahl des gezeigten Produkts (die Schachteln seien geschlossen).
5. Zeige, dass jedes Produkt der Fabrik nur maximal eine offene Schachtel enthält.
6. Welche Gleichheitsbegriffe sind für die Produkte der Firma sinnvoll? Welche Produkte lassen sich auf unterschiedliche Arten generieren? Sind die unter (1), (2), (3) definierten Begriffe wohldefiniert, also unabhängig vom Generierungsprozess?

Aufgabe Referenznummer erstellen

Bestimme den Wahrheitswert der Aussage

$((\neg (\neg (p)))\leftrightarrow (\neg (q)))\vee ((p)\rightarrow ((\neg (r))\wedge (\neg (q))))$

bei der Belegung ${}\lambda (p)=0$ und ${}\lambda (q)=\lambda (r)=1$.

Aufgabe Referenznummer erstellen

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

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

Aufgabe Referenznummer erstellen

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

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

Aufgabe Referenznummer erstellen

Finde möglichst einfache aussagenlogische Ausdrücke, die die folgenden tabellarisch dargestellten Wahrheitsfunktionen ergeben.

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

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

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

Aufgabe Referenznummer erstellen

Zeige, dass die Interpretation einer Aussage ${}\alpha \in L^{V}$ nur von der Wahrheitsbelegung der in ${}\alpha$ vorkommenden Aussagenvariablen abhängt.

Die folgende Aufgabe verwendet den Begriff abzählbar.

Eine Menge ${}M$ heißt abzählbar, wenn sie leer ist oder wenn es eine surjektive Abbildung

$\varphi \colon \mathbb {N} \longrightarrow M$

gibt.

Für diesen Begriff und das Mächtigkeitskonzept im Allgemeinen siehe Mächtigkeiten/Abzählbarkeit/Einführung/Textabschnitt.

Eine Menge ${}M$ ist genau dann abzählbar unendlich, wenn es eine bijektive Abbildung

$\psi \colon \mathbb {N} \longrightarrow M$

gibt. Die Menge der rationalen Zahlen sind abzählbar unendlich, die Menge der reellen Zahlen nicht.

Aufgabe Referenznummer erstellen

Es sei ${}A$ ein abzählbares Alphabet. Zeige, dass auch die Menge ${}A^{*}$ der Wörter über ${}A$ abzählbar ist.

Aufgaben zum Abgeben

Aufgabe (2 Punkte)Referenznummer erstellen

Zeichne einen Abstammungsbaum für die Aussage

$(((\neg (\neg (p)))\rightarrow (\neg (q)))\vee (\neg (r)))\leftrightarrow ((\neg (r))\wedge (q)).$

Aufgabe (2 Punkte)Referenznummer erstellen

Bestimme den Wahrheitswert der Aussage

$(((\neg (\neg (p)))\rightarrow (\neg (q)))\vee (\neg (r)))\leftrightarrow ((\neg (r))\wedge (q))$

bei der Belegung ${}\lambda (p)=\lambda (r)=0$ und ${}\lambda (q)=1$.

Aufgabe (3 Punkte)Referenznummer erstellen

Es seien ${}p_{1},\ldots ,p_{n}$ Aussagenvariablen und ${}\beta _{1},\ldots ,\beta _{n}$ Aussagen. Zeige durch Induktion über den Aufbau der aussagenlogischen Sprache, dass man zu jeder Aussage ${}\alpha$ in den gegebenen Variablen eine Aussage erhält, wenn man jedes Vorkommen von ${}p_{i}$ in ${}\alpha$ durch ${}\beta _{i}$ ersetzt.

Aufgabe (4 Punkte)Referenznummer erstellen

Beweise durch Induktion über den rekursiven Aufbau der Sprache ${}L^{V}$, dass in jeder Aussage ${}\alpha \in L^{V}$ und für jedes Symbol ${}s$ in ${}\alpha$, das keine Klammer ist, folgendes zutrifft: Links von ${}s$ ist die Anzahl der linken Klammern mindestens so groß wie die Anzahl der rechten Klammern.