约定 的优先级高于其它的 省略命题形式最外层括号约定 „ ¬的优先级高于其它的 „ 省略命题形式最外层括号