Liebe Studierende,

aktuell gibt es leider Probleme mit dem hinter dem Blog liegenden FTP-Server. Der IT-Support ist informiert, doch bis dieser aktiv wird, kann ich leider die ML 05 hier nicht publizieren.

Beste Grüsse,
Reto Gubelmann

In der VL6 ist es nicht eindeutig, ob die AL-Formeln nur 2-Stellig (nur mit 2  unmittelbaren Teilformeln) oder  mehrstellig sein können.
Ist z.B. X∧Y∧Z möglich?

Kurze Frage zum aktuellen Übungsblatt.

Wenn ich die Tautologie „A ist B oder nicht B.“ (ausschiessendes „oder“) habe, gilt der Operator als zweistellig oder dreistellig? Man kann ja auch A,B,C einsetzten.

Sind Schlüsse auch Behauptungen ? Wir waren uns da unsicher, weil einerseits ja ein Unterschied zwischen Wahrheit und Gültigkeit besteht, aber man ja sagen könnte, dass man eine Behauptung über die Gültigkeit des Schlusses machen kann, was ja dann doch wieder eine Behauptung wäre.
Wir haben uns aber auch gefragt, ob es sich da um unbehauptete Kontexte handelt, wodurch es dann doch keine Behauptungen wären, oder?
Danke im Voraus!

Liebe Studierende,
Willkommen auf der Logik-Gazette! Hier finden Sie die Vorlesungsfolien, Übungsblätter und Musterlösungen. Fast noch wichtiger: Nach einmaliger Registrierung können Sie Ihre Fragen stellen, und innert nützlicher Frist (in der Regel innert Tagesfrist) werden sie von Tutorinnen und Tutoren beantwortet.

Wir wünschen Ihnen einen guten Start in Logik I!

Die Tutorinnen und Tutoren und der Übungsleiter