Liebe Tutor*innen Stimmt folgende Formalisierung für die oben stehende Aussage aus dem ÜB 6, Aufg. 5.d) ? (In den Lösungen steht diese Form nicht.) Ax((Qx->Ez(Pz^Qxz))^(Ay(Py^Qxy)->y=x)) Vielen Dank im Voraus!
Read on »Beiträge von: boehme
Logik2, Übung 1, Aufgabe 1, Beispiel w
Hallo! In dieser Aufgabe wird nach der Benennung von Urteilen gefragt. Das Beispiel w lautet: „Nicht alle Gemälde sind keine Fälschungen“. Dies ist meiner Meinung nach dasselbe wie: „Einige Gemälde sind keine Fälschungen“ und würde somit dem partikulär verneinenden Urteil („o“) entsprechen. Was stimmt an dieser Überlegung nicht? Vielen Dank und lieber Gruss! Meret
Read on »Formalisierungsbeispiele
Auf der Folie der letzten Logikvorlesung werden „p ^ q v s“ und „p ^ (q v s)“ beide mit dem Ausdruck „während“ formalisiert – einmal mit und einmal ohne „Oder“ (siehe: „Formalisierungsbeispiele III“ mit Tick, Trick, Track und Donald). Beim ersten Beispiel scheint mir die Formalisierung nicht präzise, denn „während Tick staunt und Trick
Read on »