Allgemein

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!

Liebe Tutoren/innen Ich habe noch einige Fragen zu verschiedenen VL und Übungen. Verstehe ich das so richtig, dass nach Frege die Funktion 2 + ( ) = 5 einen Begriff darstellt, da es sich um eine Funktion handelt deren Wert immer ein Wahrheitswert ist? Beim Übungsblatt 4 bin ich ein wenig verwirrt, wie bei der

Hallo zusammen, Ich verstehe nicht ganz, was Wahrheitsfunktionen sind und inwiefern sie sich von Begriffen (welche ja bereits eine besondere Art von Funktionen sind) unterscheiden. Danke, 3Lulu3

Hallo zusammen Könnte mir jemand bitte die vier Schlussregeln der Stoa auf Folie 6 erklären? Ich verstehe die Formulierungen auf der Folie nicht. Und was ist bei Aristoteles (VL1, Folie 11) gemeint mit dem vollkommenen Schluss bzw. dem unvollkommenen Schluss? Danke, 3Lulu3

Liebe Studierende, Aufgrund des Ausfalls der Vorlesung gestern Montag wird es diese Woche kein neues Übungsblatt geben. Die Übungsstunde morgen findet aber statt – wir nutzen die Zeit primär zum Vertiefen der alternativen Kalküle, ich werde aber auch einige andere Themen dieses zweiten Semesters wiederaufnehmen. Ich wünsche Euch eine gute Woche! Beste Grüsse, Reto

Liebes Logik Team Der Satz: Bern ist die Hauptstadt von der Schweiz. Kann sich ja wie folgt aufteilen: Funktion: (..) ist die Hauptstadt der Schweiz. Argument: Bern Ergebnis bzw. Wert der Funktion und des Arguments zusammen: Wahr  1. Frage: Ist Bern in diesem Beispiel Eigenname und Argument zugleich? Ist also alles was ein Gegenstand ist

Bei der Bearbeitung des Übungsblatts sind folgende Fragen bei uns aufgekommen: Wozu kann die Einführung einer Negation nützlich sein? Wie geht man mit negierten Formeln um? Kann man sie immer mit der Elimination der Negation (negierte Formel (Hyp) und nicht-negierte Formel (Hyp)) auf einen Widerspruch zurückführen? Oder darf diese Regel nur angewendet werden, wenn eine

Hallo zusammen Ich hätte diverse Fragen bzgl. den Übungen/der Vorlesung und wäre froh um eure Hilfe. Übungsblatt 4: Aufgabe 1e: Ich verstehe die Antwort in der Musterlösung nicht, könntet ihr diese Antwort bitte mittels einer anderen Formulierung wiedergeben?; Aufgabe 4e: Wieso ist die Formalisierung hier negativ formuliert? (negierter Existenzquantor) Also ich verstehe die Formalisierung hier

Liebe Studierende, wie in der Übungsstunde angekündigt, fällt am kommenden Mittwoch, 20.11., die Übungsstunde aus. Zudem ist, ebenfalls wie angekündigt, ab sofort eine korrigierte Version der Musterlösung 8 online. Beste Grüsse, Reto

Liebe Studierende, vergangene Woche haben wir uns in der Übungsstunde darüber unterhalten, weshalb bei Teilaufgaben h), j), t) nur immer jeweils eine der beiden Optionen (Identitätsaussage, Prädikation) angekreuzt werden konnte. Ich habe mich hier nun eingehend schlau gemacht und würde wohl jetzt auch akzeptieren, wenn beide Optionen angekreuzt würden. Der Grund, weshalb man meinen könnte,