以下是离散数学中常见的逻辑符号和其优先级规定,以及相应的中文解释。 1. ( ) :括号最高优先级,会优先计算其中的表达式。 2. ¬ :非运算符(或取反符),其优先级次于括号。其作用是将其后的表达式取反,该运算符的作用可以显示为“非(not)”。 3. ∧ :合取运算符(或称交运算符),优先级次于非运算符。