离散数学 数理逻辑语法 运算符 优先级 $$ \neg > \land > \lor > \to > \leftrightarrow $$ 口诀: 非与或蕴双 结合方向 左结合: $\neg$ $\land$ $\lor$ $\leftrightarrow$ 右结合: $\to$ 子公式 公式の子公式数 $=$ 语法树节点数