Skip to content

Übungsblatt 4, Aufgabe 3e)

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

This was written by Urs. Posted on Sonntag, November 30, 2014, at 21:03. Filed under Übungsblätter. Bookmark the permalink. Follow comments here with the RSS feed. Trackbacks are closed, but you can post a comment.

One Comment

  1. Philipp wrote:

    Hallo Urs

    Dann wäre nur gesagt, dass wenn jemand dass Bad benutzen darf, dann ist es der Hausherr. Es fehlt aber die Aussage, dass er das Bad benutzen darf. Es wäre nicht gesagt, dass tatsächlich jemand das Bad benutzen darf. (Konditional in Allaussage.)

    Liebe Grüsse
    Philipp

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

Post a Comment

You must be logged in to post a comment.