【笔记】【电子科大 离散数学】 3.谓词逻辑

谓词引入

因为含变量的语句(例如x > 3)不是命题,无法进行逻辑推理

为了研究简单命题句子内部的逻辑关系,我们需要对简单命题进行分解,利用个体词,谓词和量词来描述它们,并研究个体与总体的内在联系和数量关系,这就是谓词逻辑或者一阶逻辑

在原子命题中,可以独立存在的客体(句子中的主语、宾语),称为个体词。而用以刻划客体的性质或者客体之间的关系即是谓词

个体词的定义

个体词可分为两种,个体常量和个体变量,均在个体域内取值。

  1. 表示具体或者特定的个体词称为个体常量。一般用带或不带下标的小写英文字母 a , b , c , . . . a 1 , b 1 , c 1 . . . a, b, c,... a_1, b_1, c_1... a,b,c,...a1,b1,c1...来表示。
  2. 表示抽象或者泛指的个体词称为个体变量。一般用带或不带下标的小写英文字母 x , y , z , x 1 , . . . y 1 , z 1 . . . x, y, z, x_1,... y_1, z_1 ... x,y,z,x1,...y1,z1...来表示。
  3. 个体词的取值范围称为个体域(或者论域),常用D表示;
  4. 宇宙间的所有个体域聚集在一起所构成的个体域成为全总个体域。若无特别说明均使用全总个体域。

谓词的定义

设 D D D为非空的个体域,定义在 D n D^n Dn(表示 n n n个个体都在个体域 D D D上取值)上取值于 0 , 1 {0, 1} 0,1上的 n n n元函数,称为 n n n元命题函数或 n n n元谓词,记为 P ( x 1 , x 2 , . . . x n ) P(x_1, x_2, ... x_n) P(x1,x2,...xn)。其中,个体变量 x 1 , x 2 , . . . x n ∈ D x_1, x_2, ... x_n \in D x1,x2,...xn∈D。

  1. 表示具体性质或关系的谓词称为谓词常量。
  2. 表示抽象或者泛指的谓词称为谓词变量。

例子

复合命题的谓词符号化

量词引入

谓词符号化

谓词公式

自由变元和约束变元

公式解释和分类

公式等价

前束范式

推理形式和推理规则

谓词综合推理

相关推荐
古译汉书7 分钟前
嵌入式铁头山羊STM32-各章节详细笔记-查阅传送门
数据结构·笔记·stm32·单片机·嵌入式硬件·个人开发
2301_800050993 小时前
DNS 服务器
linux·运维·笔记
汇能感知3 小时前
光谱相机的未来趋势
经验分享·笔记·科技
风已经起了6 小时前
FPGA学习笔记——图像处理之对比度调节(直方图均衡化)
图像处理·笔记·学习·fpga开发·fpga
go_bai6 小时前
Linux--常见工具
linux·开发语言·经验分享·笔记·vim·学习方法
sjh21008 小时前
【学习笔记】20年前的微芯an1078foc技术,smo滑模位置估计,反电动势波形还不错,为何位置估计反而超前了呢?
笔记·学习
航Hang*9 小时前
Kurt-Blender零基础教程:第3章:材质篇——第1节:材质基础~原理化BSDF,添加有纹理材质与用蒙版做纹理叠加
笔记·blender·材质·建模
泽虞10 小时前
《C++程序设计》笔记p4
linux·开发语言·c++·笔记·算法
峰顶听歌的鲸鱼11 小时前
29.Linux防火墙管理
linux·运维·网络·笔记·学习方法
jun~11 小时前
SQLMap绕过 Web 应用程序保护靶机(打靶记录)
linux·笔记·学习·安全·web安全