附录：下卷思考题参考提示

文档摘要

附录：下卷思考题参考提示兔狲教授注：这些提示不是答案，是思考的脚手架。真正的理解发生在你用自己的语言重构论证的过程中。第14章：形式系统——给推理一个地基 ★ 热身：合法命题公式判断提示：合法的命题公式由命题变元、连接词、括号按语法规则组合而成。连接词是二元或一元的运算符，不能单独出现在末尾。思考方向： $P \to Q \land R$：注意连接词优先级，$\land$ 通常比 $\to$ 结合更紧，但括号可以消除歧义 $\neg \neg P$：否定是一元连接词，可以连续应用 $\land P Q$：连接词的位置——二元连接词需要放在两个操作数之间 $(P \to Q) \to (\neg Q \to \neg P)$：括号明确优先级，这是逆否命题的形式 $P