1. Zur Musterlösung 13, Aufgabe 4.h)
Wieso sieht das zweite Konjunktionsglied so aus, wie es aussieht?

Und nun noch eine nicht zusammenhängende Frage:

2. Wieso ist für Aristoteles die Kontraposition durch Beschränkung gültig? (Ich weiss, dass sie in der modernen Logik nicht gültig ist.) (VL 12, Folie 14)

Soweit ich verstanden habe, wird bei der Kontraposition durch Beschränkung vom Urteil „Kein S ist P“ zum Urteil „Einige Nicht-P sind Nicht-S“ übergegangen. Dies scheint jedoch für folgendes Gegenbeispiel offen zu sein:

Angenommen, der Substanzdualismus wäre wahr (es gäbe also genau zwei Substanzen, Materielles und Geistiges, und nichts wäre sowohl materiell als auch geistig). Dann könnte man von „Nichts Materielles ist geistig“ auf „Einige nicht-geistigen Dinge sind nicht-materiell“ übergehen. Dies würde jedoch ex hypothesi nicht stimmen. Trotzdem sind beide verwendeten Begriffe nicht leer.

Wo liegt mein Fehler?

Liebe Grüsse
Elia

(Posted by Reto on behalf of Elia)

Die Musterlösung der Serie 13 ist jetzt Online.

Beste Grüsse,
Reto

Könntet Ihr die Musterlösung für das Übungsblatt 13 so schnell wie möglich bereit stellen, am liebsten heute oder morgen? So können wir noch vor der Prüfung selber kontrollieren, ob wir das Ganze einigermassen verstanden haben.

Vielen Dank und viele Grüsse
Urs

Könntet Ihr mir bei folgenden Fragen zur Aufgabe 2 auf dem Übungsblatt 3 weiterhelfen?

3b) Braucht es „¬y=z“? So wie ich es verstanden habe, geht es hier nur darum, dass kein Studierender mehr als zwei Professoren bewundert. Wenn jemand zwei Mal denselben Professor bewundert, wäre das also nicht weiter schlimm.

3f) Wäre die Lösung ∀x∃y((Px∧Py)∧(Sxy∧¬x=y)→Syx) auch korrekt?

Vielen Dank im Voraus und beste Grüsse
Urs

Gemäss Musterlösung von Aufgabe 3e) auf Übungsblatt 4 lautet der letzte Teil der korrekten Formalisierung wie folgt: … ∧(Rxy∧∀z(Rzy→z=x))). Könnte man „Rxy“ nicht einfach weglassen, ohne dass die Formalisierung dadurch falsch würde?

Beste Grüsse
Urs

Wären bei Übungsblatt 1 auch folgende Lösungen korrekt?

3b) ∀x∃y∃z((Py∧Pz)∧Qxyz)→Rx↔¬Sx)

3c) ∀x∃y(Py∧Qxy→Rx)

Vielen Dank und viele Grüsse
Urs

Euer Übungsblatt (Übung 06) war heute im Rückgabeordner unter meinem festgehängt und ich habe es aus Versehen mitgenommen. Ich habe erst gemerkt, dass ich euer Übungsblatt habe, als ich schon aus der Vorlesung raus war. Ich werde es heute Nachmittag den Tutoren zukommen lassen, damit es morgen Dienstag wieder im Rückgabeordner ist. Leider waren eure Namen nicht auf dem Übungsblatt vermerkt.

Ich entschuldige mich für die Unannehmlichkeiten.

-Flavio Müller

Bitte publiziert eure Antworten nicht direkt auf der Gazette, sondern speichert sie nur als Entwürfe ab. Wir werden diese dann sichten und eine Auswahl davon publizieren.

Besten Dank!

Grüsse,
Reto

(^ entspricht Konjunktion, -> entspricht Konditional, – entspricht Negation, A entspricht der Allaussage)

Danke im Voraus für eure Hilfe.