Skip to content

Übungsblatt 1, Aufgaben 3b) und 3c)

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∧QxyRx)

Vielen Dank und viele Grüsse
Urs

2 Comments

  1. Samantha wrote:

    Lieber Urs,

    Ja ich denke, das geht so.

    Liebe Grüsse
    Samantha

    Sonntag, November 30, 2014 at 21:11 | Permalink
  2. Philipp wrote:

    Hallo Urs

    Bei 3b) fehlt jetzt aber eine Klammer!
    Grundsätzlich: Vorsicht bei Quantorenverschiebung.

    Montag, Dezember 1, 2014 at 11:28 | Permalink

Post a Comment

You must be logged in to post a comment.