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
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
2 Comments
Lieber Urs,
Ja ich denke, das geht so.
Liebe Grüsse
Samantha
Hallo Urs
Bei 3b) fehlt jetzt aber eine Klammer!
Grundsätzlich: Vorsicht bei Quantorenverschiebung.
Post a Comment