离散数学与组合数学-08谓词逻辑

本文为离散数据与组合数学电子科技大学王丽杰老师的课程笔记，详细视频参考 【电子科技大学】离散数学（上） 王丽杰 【电子科技大学】离散数学（下） 王丽杰 latex的离散数学写法参考： 离散数学与组合数学-01

离散数学公式 !符号 代码 含义

\wedge 且

\vee 或

\cap 交

\cup 并

\subseteq 子集

\nsubseteq 不是子集

\subset 真子集

\not\subset 不是真子集

\in 属于

\not\in 不属于

\leftrightarrow 等价

\Leftrightarrow 等值

\neg或\lnot 非

\mathbb{R} 实数集

\mathbb{Z} 整数集

\varnothing 空集

\forall 对任意的

\exists 存在

\geq大于等于

\leq 小于等于

下标的输入命令是：

x_{内容} 上标的输入命令式：

x^2 空格 \quad

R\mkern-10.5mu/ 数值越大，斜杆越往字母左侧移动

离散数学与组合数学-08谓词逻辑

8.1 谓词的引入

8.1.1 引入谓词逻辑

在这里插入图片描述

8.1.2 个体词与谓词

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

8.2 量词的引入

8.2.1 量词引入

在这里插入图片描述

在这里插入图片描述

8.2.2 个体域符号化

在这里插入图片描述

在这里插入图片描述

8.2.3 量词真值确定

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

8.3 谓词符号化举例

8.3.1 示例一

在这里插入图片描述

8.3.2 示例二

在这里插入图片描述

8.3.3 示例三

在这里插入图片描述

8.3.4 示例四

在这里插入图片描述

8.4 谓词合式公式

8.4.1 四类符号

在这里插入图片描述

在这里插入图片描述

8.4.2 项

在这里插入图片描述

8.4.3 合式公式

在这里插入图片描述

在这里插入图片描述

8.5 自由变元与约束变元

8.5.1 定义

在这里插入图片描述

8.5.2 判定

在这里插入图片描述

8.5.3 两个规则

在这里插入图片描述

在这里插入图片描述

8.5.4 闭式

在这里插入图片描述

8.6 公式的解释与分类

8.6.1 公式的解释

在这里插入图片描述

在这里插入图片描述

8.6.2 公式的分类

在这里插入图片描述

在这里插入图片描述

8.7 公式的等价关系

8.7.1 定义

在这里插入图片描述

8.7.2 基本等价关系

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

8.8 前束范式

8.8.1 定义

在这里插入图片描述

8.8.2 求解步骤

在这里插入图片描述

在这里插入图片描述

8.9 推理形式与推理规则

8.9.1 推理形式

在这里插入图片描述

8.9.2 推理规律

在这里插入图片描述

在这里插入图片描述

8.9.3 推理规则

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述