Skip to content

Category Archives: Unkategorisiert

Danke

Liebe Tutorinnen und Tutoren Herzlichen Dank für Eure wertvolle Unterstützung bei der Prüfungsvorbereitung! Ein spezielles Dankeschön an Samantha für die Geduld mit all meinen Fragen und an Roland für das sehr gelungene Tutorat, das für mich eine grosse Hilfe war. Beste Grüsse und schöne Festtage Urs

Ausdrücke von q in AkAL

Wenn ich im axiomatischen Kalkül in einer Zeile 3 die Satzkonstante q durch p->q ersetze, verpflichte ich mich dann auf diese Interpretation von q oder kann ich beispielsweise in einer Zeile 5 q dann auch durch r->s ersetzen? Paraphrasiert: Kann man im axiomatischen Kalkül jede Satzkonstante nur mit einer bestimmten AL-Formel substituieren oder kann man […]

Mehrfaches Quanitifzieren

Liebes Logik-Team, meine Frage bezieht sich auf die Formalisierung von Sätzen mit mehreren Quantoren. VL01 Folie 15 erlaubt folgendes: Jeder Dompteur kennt alle Tiere, die er trainiert: ∀x∀y((Px∧Qy)∧Rxy → Sxy) VL02 Folie 4 scheint folgende Formalisierung zu verlangen: Alle Götter werden von allen Stammesangehörigen verehrt: ∀x∀y(Px → (Qy → Rxy)) Die Struktur der Sätze scheint […]

Übungsblatt 3, aufgabe 2f

Liebe Tutoren   Wieso wird in 2f  der zweite Quantor ein Allquantor verwendet und kein Existensquantor? Also Allquantor X Existenzwuantor x und dann die restliche Formel? Und was ist dann der Unterschied zu Aufgabe 1 a der Zusatzübungen, wo die Lösung ein Allqunator und ein Existenzquantor ist? herzlichen Dank☺️

Zur Erinnerung: Tutorat am Montagmorgen um 9.00 findet statt!

Für alle, die sich noch letzte Tipps abholen oder offene Fragen beantwortet haben wollen: Kommt doch am Montag um 9.00 zu uns ins Tutorat! Wir freuen uns auf euer Kommen und wünschen euch viel Glück für die Prüfung, Samantha und Thyra

Zusatzbeispiele

Bei Aufgabe 2b) Nur Menschen, die sich selbst respektieren, werden auch von anderen Menschen respektiert. Sieht die Musterlösung so aus: ∀x(Px ∧∃y((Px ∧ Qxy) ∧¬(y=x)) → Qxx) .. Müsste es nicht so sein: ∀x(Px ∧∃y((Py ∧ Qyx) ∧¬(y=x)) → Qxx) ?? Oder liege ich hier falsch und wenn ja warum? Gruss Lorin

primäre/sekundäre Position

Liebe Tutorinnen Wie kann man bei einem Beispielsatz “Der König von Frankreich ist kahl” erkennen, in welcher Position der “König von Frankreich” nun vorkommt (in primärer oder sekundärer)?  ¬∃x((Px∧∀y(Py→y=x))∧Qx) oder ∃x((Px∧∀y(Py→y=x))∧¬Qx)? Ist es überhaupt jemals sinnvoll, die primäre Position zu wählen, die zwar sehr normalsprachlich wirkt, aber sozusagen nur die halbe Negation erfasst? (Vorlesung 5, Folie 5) […]

Quantifyer shift fallacy

Liebe Tutoren Wieso ist es okay, die Quantoren in diesem Fall zu vertauschen; ∃x∀yRxy wird zu ∀y∃xRxy, umgekehrt geht das aber nicht (∀x∃yRxy Also: ∃y∀xRxy)? (Quantifyer shift fallacy, Vorlesung 9, Folie 9) Würde man beim zweiten Beispiel eine Existenz voraussetzen, die vorher nicht gegeben war? aber wieso? Kann man davon ausgehen, dass es ein “sicherer […]

Prüfungstutorat

Liebe Studierende Das grosse Tutorat vor der Prüfung findet nun definitiv am Freitag, dem 12. Dezember 2014 von 13.00 – 16.00 im Raum KOL-H-321 statt. Wir freuen uns auf Euer Kommen.

Fragen zu Serie 8 / axiomatischem Kalkül

Liebe Tutor(inn)en, ich wäre froh, wenn mir jemand folgende Fragen beantworten könnte… – zu Serie 8 Aufgabe 3: Mir leuchtet nicht ein, wieso h) “Ein Argument mit verschränkten Prämissen kann durch die Widerlegung einer Prämisse zurückgewiesen werden” falsch ist? (verschränkte Prämissen stützen die Konklusion ja nur gemeinsam (VL 8, Folie 15)) – Geht es darum, […]