Klammerkonventionen ;-)
Frage zur Mulö, Serie 5, Aufgabe 5
Die Musterlösung unterscheidet hier zwischen «p -> p» und «(p -> p)», im Skript zu 5. Vorlesung heisst es aber auf Folie 10, dass äussere Klammern weggelassen werden können. Wie passt das zusammen?
Vielen Dank für jeden Hinweis!
Schuler schrieb am 29 Oct 2007 um 8:04 pm ¶
Hallo
Ich kann mich daran erinnern bei der Besprechung der Musterlösung dafür argumentiert zu haben, dass auch die volle Punktzahl erhält, wer die äusseren Klammern nicht gemacht hat, da meines Erachtens die Formel sich nicht verändert, wenn nur die äusseren Klammern weggelassen werden.
Es lässt sich allerdings durchaus fragen, ob “p → q” und “(p → q)” dieselben Formeln sind…
Grüsse, Reto