Beiträge von: Steff

Hallo allerseits Üblatt 9, Aufg. 1w) Formalisierung von: Alle Gäste, die das Fest früh verlassen haben, sind auf dem Heimweg in den Regen geraten. Px: x ist ein Gast Qx: x hat das Fest früh verlassen Rx: x ist auf dem Heimweg in den Regen geraten. In den Musterlösungen steht hier: ∀x(Px ⋀ Qx →

Hallo allerseits In der Vorlesungsfolie 6 heisst es:  ((p v q) → r v p → s ) sei keine Formel, wegen den fehlenden Klammern. Aber wo genau fehlen die Klammern? Frage zur Bindungsstärke: Ist  ( p→ q)→ r     dasselbe wie  p→ q→ r  ? Oder anders gesagt: Bindet das erste Konditional stärker als das