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.
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 qsonst nicht klar, welche Formel gemeint ist:p \vee qist eine Teilformel, also könnte\neg (p \vee q)gemeint sein; es sind aber auch\neg pundqTeilformeln, also könnte auch(\neq p) \vee qgemeint sein. Mit der ausdrücklichen Präferenz für Negation wird die gemeinte Klammerung klar.