Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Übungsblatt 3, Aufgabe 4 c)
Frage:
wie wird hier geklammert/ausgewertet?
Hier steht folgender geklammerter Ausdruck:
T ∧ MrBlack sagt ⊥
Werte ich zuerst (T ∧ MrBlack) aus oder zuerst (MrBlack sagt ⊥)?
An sich stehen dort ja keine Klammern, die eine bestimmte Auswertungsreihenfolge erzwingen.
Liebe Grüße,
Horscchtey
Die Antwort findest du in der Grammatik:
ρ, θ ::= MrBlack | MrBrown | MrOrange | ρ und θ
φ, ψ ::= ⊥ | T | φ ∧ ψ | φ → ψ | ¬φ | ρ sagt φ
Das ‘ρ sagt φ’ bedeutet, dass links von ‘sagt’ immer etwas steht, dass durch die erste Grammatik-Regel erzeugt wurde. Deshalb kannst du für ρ nur MrBlack und nicht ‘T ∧ MrBlack’ einsetzen.