归结法基本原理 归结法的基本原理是采用反证法（也称反演推理法）将待证明的表达式（定理）转换成为逻辑公式（谓词公…
求解问题的步骤 (1) 已知前提 $F$ 用谓词公式表示并化为子句集 $S$ (2) 把待求解的问题 $Q$ …
命题 命题：能判断真假的陈述句 命题常量：$p$：小明是个男生(已指定了命题) 命题变量：$p$：（未指定命题…
$UI$(全称量词消去规则)：$\forall xA(x)\Rightarrow A(x)$ $EI$(存在量…
谓词 $def:$ 个体词：可独立存在的客体 谓词：用来说明个体的性质或个体间的关系 如： 小明是个小学生 其…
推理 $def:$ 设 $A$ 和 $B$ 是两个命题公式，当且仅当 $A\rightarrow B$ 是 重…
一道 C 语言题： #include <stdio.h> int main() { int num…
Trie 树 据不完全统计，世界上现存英语单词的数量为 17 万到 100 万不等。假设现在要你…
二分图 二分图是这样的一个图：其顶点可以划分为两个集合 $ X $ 和 $ Y $, 任何一条边…
