|
五、优先权
在集合论中,当描述问题和证明问题时,往往在一个式子中同时使用集合运算符,集合关系符,逻辑联结词,逻辑关系符四类连接符号。
为了简单、确定地表示各类连接符号的优先次序,下面规定各类连接符号的优先权。
一元运算符
优先于 二元运算符
优先于 集合关系符
优先于 一元联结词
优先于 二元联结词
优先于 逻辑关系符 .
此外, 还使用数学上惯用的括号表示优先权方法、从左到右的优先次序,规定
(1) 括号内的优先于括号外的;
(2) 同一层括号内,按上述优先权;
(3) 同一层括号内,同一优先级的,按从左到右的优先次序。
|
|