五、优先权

  在集合论中,当描述问题和证明问题时,往往在一个式子中同时使用集合运算符,集合关系符,逻辑联结词,逻辑关系符四类连接符号。

  为了简单、确定地表示各类连接符号的优先次序,下面规定各类连接符号的优先权。
  一元运算符
  优先于 二元运算符
  优先于 集合关系符
  优先于 一元联结词
  优先于 二元联结词
  优先于 逻辑关系符.
  此外, 还使用数学上惯用的括号表示优先权方法、从左到右的优先次序,规定
  (1) 括号内的优先于括号外的;
  (2) 同一层括号内,按上述优先权;
  (3) 同一层括号内,同一优先级的,按从左到右的优先次序。