Wo kann ich die Korrekturen meiner abgegebenen Übungsblätter abholen? Kann ich in der Bibliothek danach fragen?
Da ich aus irgendeinem Grund keinen Beitrag erstellen kann, werde ich einfach hier einen Kommentar posten. Die eine Hälfte ist sogar relevant: 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? […]
Liebe Studierende Die Musterlösung der Serie 13 ist jetzt Online. Beste Grüsse, Reto
Liebes Logik-Team 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
Liebes Logik-Team 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 […]
Liebes Logik-Team 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
Liebes Logik-Team 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
Liebe Gruppe „MIER“ 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. […]
Liebe Studierende 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
In der Vorlesung wurde gesagt, dass beim Baumkalkül bei der Existenzbeseitigung immer eine neue Konstante genommen werden muss („Die Konstante muss neu sein, sie darf auf dem Ast nicht vorkommen, der erweitert wird.“). Ich hatte aber das Gefühl, dass bei Aufgabe 1b, c, d und f genau dies nicht befolgt wurde. Habe ich die Regel […]