Freude mit Tabellen
Basteln Sie bitte für einige der folgenden Aussage eine Wahrheitstabelle.
Zulässing sind florale Dekorationen und Tiermotive.
- P
- ¬P
- Q→¬P
- P∨¬Q
- P∨¬P
- P→¬P
- P∧(Q∨R)
- P→(Q→P)
Denken
Denken Sie bitte über einige der folgenden Fragen nach und liefern
Sie begründete Antworten.
- Wie viele Zeilen muss eine Wahrheitstabelle mindestens haben?
- Sie kennen ein paar zweistellige Konnektive (Konjunktion, Disjunktion,
Konditional und eventuell Bikonditional) sowie ein einstelliges
Konnektiv (die Negation). Wie viele einstellige und wie viele
zweistellige Konnektive kennen Sie nicht?
- Wievielstellig (cooles Wort übrigens) muss ein Konnektiv
mindestens sein?
- Gibt es eine obere Grenze hinsichtlich der Stelligkeit von
Konnektiven? Würden Sie ein neunstelliges Konnektiv als
Mitbewohner/in akzeptieren?
- Kann es eine Wahrheitstabelle mit neun Zeilen geben?
- Sicher nicht?
Handwerken
Stellen Sie bitte fest, welche der folgenden Argumente
gültig sind und welche nicht:
- Aus ¬P folgt P.
- Aus ¬P folgt P∨Q.
- Aus P→Q folgt Q→P
- Aus P→Q folgt ¬Q→¬P
- Aus P∨Q sowie P∨R folgt P∨(Q∧R).
- Aus P∨Q sowie P∨R folgt P∨(Q∨R).
Zeigen Sie bitte, dass die folgenden Argumente herleitbar
sind:
- Aus P∧(Q∧R) folgt P∧R.
- Aus P∧(Q∧R) folgt (P∧Q)∧R.
- Aus P, Q sowie R folgt P∧Q
- Aus P∧Q folgt (P∧Q)∧(P∧Q).
Denken
- Kann es sein, dass ein herleitbares Argument ungültig ist?
- Kann es sein, dass ein gültiges Argument nicht herleitbar ist?
- In der vorangehenden Hausübung haben Sie die Frage beantwortet,
warum wir nur die vier Konnektive ∧, ∨, → sowie ¬ brauchen.
Beantworten Sie heute bitte folgende Fragen:
- Braucht man alle diese Konnektive, oder könnte man mit noch
weniger Konnektiven leben? (Und wie gut?)
- Und überhaupt: Wie viele Konnektive braucht man denn
allermindestens?
- Und wie viele Konnektive kann man höchstens verwenden...?
Leiten Sie bitte einige der folgenden schönen Argumente
richtig her:
- Aus P→Q sowie Q→R folgt (syntaktisch - Herleiten, gell?)
P→R. (Kettenschluss man dieses nennt, übrigens.)
- Aus P→Q sowie R→S folgt (P∧R)→(Q∧S)
- Aus P→R sowie Q→R folgt (P∧Q)→R.
- Aus P→R folgt P→(Q∨R).
- Aus (P∨Q) folgt R→(P∨Q) (schön, nicht?)
- Aus P→Q, Q→R sowie R→S folgt P→(S∨T).
Für die Prüfung kommende Woche haben Sie eh genug zu üben,
auch aus den Beispielen der vergangenen Wochen, Semester, Jahre und
Prüfungen, aber ein paar zusätzliche Beispiele denke ich mir
schon noch aus, damit auch der Stoff der letzten Woche besser
abgedeckt ist:
- Leiten Sie bitte aus P∨(Q→P) sowie Q die Aussage P her.
- Leiten Sie bitte aus P→R sowie Q→R die Aussage
(P∨Q)→R her.
- Leiten Sie bitte aus P∨Q sowie P→R die Aussage Q∨R her.
- Leiten Sie bitte aus (P∧Q)∨(P∧R) die Aussage
P∧(Q∨R) her.
Leiten Sie bitte folgende Argumente her:
- Aus P→Q sowie ¬Q∨¬P folgt ¬P.
- Aus ¬P∨¬Q folgt ¬(P∧Q) (schwerer).
- Aus ¬P∧¬Q folgt ¬(P∨Q) (schwerer).
Freude (viel) mit Interpretationen
Bilden Sie bitte für einige der folgenden Aussagen je
eine Interpretation, unter der die Aussage wahr ist, und eine,
unter der die Aussage falsch ist. Gell?
- ∀xFx∨∀xGx
- ∀x(Fx∨Gx)
- ∀xFx∧∀xGx
- ∀xFx→∀xGx
- ∀x(Fx→Gx)
- ∃x(Fx∧Gx)
- ∃x(Fx∨Gx)
Zeigen Sie bitte für einige der folgenden Argumente,
dass sie ungültig sind.
- ∃xFx⊧?∀xFx
- ∀x(Fx∨Gx)⊧?∃xFx
- ∃xFx∧∃xGx⊧?∃x(Fx∧Gx)
- ∀xFx, ∃xGx⊧?∀x(Fx→Gx)
Denken
- Anders als bei der Aussagenlogik kann man bei der Prädikatenlogik
nicht einfach so durch endlich viele Arbeitsschritte entscheiden,
ob ein Argument gültig ist. Warum?
- Die klassische Prädikatenlogik, wie wir sie betreiben, funktioniert
nur dann, wenn das Diskursuniversum nicht leer ist. Warum? Und: Ist
das schlimm?
Übersetzen Sie bitte einige der folgenden Aussagen möglichst
tiefschürfend in die Sprache der Aussagenlogik und/oder in die
Sprache der Prädikatenlogik. Wenn eine Aussage mehr als eine Lesart
zulässt, dann übersetzen Sie bitte alle.
- Es gibt höchstens ein Einhorn.
- Jeder ehrliche Politiker und jede ehrliche Politikerin ist mit
einem sprechenden Einhorn befreundet.
- Es gibt genau einen amtierenden
österreichischen Bundespräsidenten.
- Es gibt zwei oder drei sprechende Gänse.
- Das schwarzbraune Bergschaf Wolltraude fährt immer
dann auf die Kanarischen Inseln, wenn es erholungsbedürftig ist
und Urlaub hat.
- Nur gut gekleidete Politikerinnen und Politiker erscheinen gerne
vor einem Untersuchungsausschuss.
- Es regnet, weil Frau Holle ihre Blumen zu stark gegossen hat.
- Wien liegt zwischen Schwechat und Mödling.
Zurück zur Lehrveranstaltungsseite...
2013-06-11 15:44:51
christian.gottschall@posteo.de