离散数学 命题逻辑 命题 数理逻辑语法 命题逻辑等值演算 命题逻辑推理理论 等值 vs 推理 等值 $\neq$ 推理 比如 $(p\to q)\land p \Rightarrow q$ $(p\to q)\land p \equiv p \land q \neq q$