VL13: Konventionen #67
Description
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.