VL13: Konventionen

Bei den Konventionen zur Vereinfachung der Syntax könnte auch die Konvention „unäre Junktoren (Negation und Quantoren) binden stärker als binäre Junktoren“ mit aufgeführt werden.
Diese scheint später implizit verwendet zu werden. Zum Beispiel ist bei der Formel `\neg p \vee q` sonst nicht klar, welche Formel gemeint ist: `p \vee q` ist eine Teilformel, also könnte `\neg (p \vee q)` gemeint sein; es sind aber auch `\neg p` und `q` Teilformeln, also könnte auch `(\neq p) \vee q` gemeint sein. Mit der ausdrücklichen Präferenz für Negation wird die gemeinte Klammerung klar.

No file or test is named in the issue, so first locate the section containing the syntax conventions in the teaching materials. Add the stated precedence convention for unary over binary connectives and ensure the negation example has an unambiguous grouping.

Written by the indexing model from the issue text.