上帝也掷骰子 大千世界，并非一切事物都可以进行精确的计算，都可以用是非来衡量那么简单。19 实际爱因斯坦与波尔…

应用归结原理证明定理 步骤： 将一直前提表示为谓词公式 $F$。 将待证明的结论表示为谓词公式 $Q$，并否定…

归结法基本原理 归结法的基本原理是采用反证法（也称反演推理法）将待证明的表达式（定理）转换成为逻辑公式（谓词公…

求解问题的步骤 (1) 已知前提 $F$ 用谓词公式表示并化为子句集 $S$ (2) 把待求解的问题 $Q$ …

命题 命题：能判断真假的陈述句 命题常量：$p$：小明是个男生(已指定了命题) 命题变量：$p$：（未指定命题…

$UI$(全称量词消去规则)：$\forall xA(x)\Rightarrow A(x)$ $EI$(存在量…

谓词 $def:$ 个体词：可独立存在的客体 谓词：用来说明个体的性质或个体间的关系 如： 小明是个小学生 其…

推理 $def:$ 设 $A$ 和 $B$ 是两个命题公式，当且仅当 $A\rightarrow B$ 是 重…