看《离散数学及其应用》看到“p仅当q”=“p->q”，不理解，第一反应是怀疑书打错了，应该是“q->p”吧，吃午饭时想着想着就突然顿悟了。。。 举个例子： p：放假 q：周末 p仅当q：放假仅当周末 分析：如果放假，只有周末才有可能放假，不是周末就不可能放假，那么肯定是 ...

一阶谓词逻辑表示法 命题 一个非真即假的陈述句 谓词 一般形式：P(X1, X2, ..., Xn) P是谓词名，X是个体 个体可分为： 个体是常量： 个体是变元： 个体是函数：（个体到另一个体的映射） 个体是谓词： 谓词公式 连接词 合取 ...

...

首先引入知识概念：知识(Knowledge)是人们在改造客观世界的实践中形成的对客观事物(包括自然的和人造的)及其规律的认识，包括对事物的现象、本质、状态、关系、联系和运动等的认识。 知识是把有关的 ...

1谓词 1.1引入 在研究命题逻辑中，原子命题是命题演算中最基本的单位，不再对原子命题进行分解，这样会产生两大缺点： （1）不能研究命题内部的结构，成分和内部逻辑的特征； （2）也不可能表达两个原子命题所具有的共同特征，甚至在命题逻辑中无法处理一些简单又常见的推理过程。 例如 著名 ...

谓词逻辑与归结原理的一些概念题 答案均取自网络或是书本的理解修改整理 什么是合取范式和析取范式？ 合取范式：仅由有限个简单析取式构成的合取式称为合取范式，即单元子句、单元子句的或的与 析取范式：仅由有限个简单析取式构成的析取式称为析取范式，即单元子句、单元子句的与的或 关于判断的话，简单 ...

一、基础代码准备 建立一个实体类，该实体类有五个属性。下面的代码使用了lombok的注解Data、AllArgsConstructor，这样我们就不用写get、set方法和全参构造函数了。lom ...

假设刚开始p指向t，q指向了b。如下图所示 首先p->next=q->next: 意思是让p节点指向q节点的下一个数据，现在p,q的下一个节点相同，都为b。 然后，q->next=p，就是将q的下一个节点变为p，就相当于 在q节点后面加上p节点 ...