2.1 一阶逻辑基本概念

在第一章中我们学习了命题逻辑，其可以对某些问题进行推理判断但具有局限性。例如：

很显然这是一个真命题，但是在命题逻辑中我们无法证明其是永真式。这是因为他没有把一句话中的各种元素细分。本节我们便从个体词\red {个体词}个体词,谓词\red {谓词}谓词,量词\red {量词}量词三个方面将一句话剖析。

个体词：可以独立存在的客体，它可以是一个具体的事物，也可以是一个抽象的概念。

谓词：用来说明个体的性质或个体间的关系。

之所以称为谓词是因为谓词和个体词一起构成了简单命题中的主谓结构。例如：

来道例题：

下面我们来看量词：

∀xF(x)\forall x F(x)∀xF(x) ⇔\Leftrightarrow⇔ F(a1)F(a_1)F(a1) ∧\wedge∧ F(a2)F(a_2)F(a2) ∧\wedge∧ ⋯\cdots⋯ F(an)F(a_n)F(an)

∃xG(x)\exists x G(x)∃xG(x) ⇔\Leftrightarrow⇔ G(a1)G(a_1)G(a1) ∨\vee∨ G(a2)G(a_2)G(a2) ∨\vee∨ ⋯\cdots⋯ G(an)G(a_n)G(an)

行了，概念什么的我也不多说了，我主要讲怎么解题。

我认为本节的难点在于分清楚什么时候用→\rightarrow→,什么时候用∧\wedge∧。

我们知道→\rightarrow→ 是“ 只要⋯\cdots⋯就 ”的意思。所以当出现表示“都”的意思时用→\rightarrow→

所以你会发现往往∀\forall∀ 后面跟着 →\rightarrow→，∃\exists∃ 后跟着∧\wedge∧

例：

练：

1.在一阶逻辑中将下面命题符号化
（1）凡有理数均可表成分数
（2）有的有理数是整数

要求：
（a）个体域为有理数集合
（b）个体域为实数集合
解：（a）不引入特性谓词
（1）∀xF(x)\forall xF(x)∀xF(x) ,其中F(x)F(x)F(x) :xxx可表成分数
（2）∃xG(x)\exists xG(x)∃xG(x),其中G(x)G(x)G(x) : xxx是整数

（b）引入特性谓词：R(x)R(x)R(x):xxx是有理数
（1）∀x\forall x∀x ( R(x)R(x)R(x) →\rightarrow→ F(x)F(x)F(x)）,其中F(x)F(x)F(x) :xxx可表成分数
（2）∃x\exists x∃x ( R(x)R(x)R(x) ∧\wedge∧ G(x)G(x)G(x)）,其中G(x)G(x)G(x) : xxx是整数

第二章一阶逻辑 2.1 一阶逻辑基本概念相关推荐

第二章物理层 1 物理层的基本概念 [计算机网络笔记]
第二章物理层 1 物理层的基本概念本笔记参考书目: 计算机网络(第8版)谢希仁 2021王道计算机网络视频公开课本节重点: 物理层功能和作用(了解名词即可) 转载请注明文章来源! 物理层接口特性 ...
计算机网络期末总复习——第二章物理层
第二章物理层一.物理层基本概念二.四大特性三.两种信号与码元 1.信号:数据的电气的或电磁的表现 2.码元: 四.信道的基本概念 1.信道: 2.单向通信(单工通信): 3.双向交替通信(半双 ...
学习笔记-应用光学第二章球面和球面系统
第二章球面和球面系统 2-1 概念和符号规则一.概念子午平面:包含光轴的平面截距:①物方截距:物方光线与光轴的交点到顶点的距离.②像方截距:像方光线与光轴的交点到顶点的距离倾斜角:①物方倾斜 ...
【随机过程】第二章——随机过程概论
第二章--随机过程概论教学内容随机过程的定义随机过程的分类随机过程的研究途径有限维分布族有限维分布族的性质柯尔莫哥洛夫定理随机过程的数字特征(必考) 两个随机过程的联合分布和数字特征 ...
电子科技大学《图论及其应用》复习总结---第二章树
第二章树一.树的概念与性质定义1 不含圈的图称为无圈图,树是连通的无圈图. 定义2 称无圈图G为森林. 注: (1) 树与森林都是单图; (2) 树与森林都是偶图. 定理1 每棵非平凡树至少 ...
计算机网络要点（第二章）
第二章 2.1 物理层的基本概念物理层考虑的是怎样才能在连接各种计算机的传输媒体上传输数据比特流物理层为了数据链路层屏蔽了各种传输媒体的差异,使数据链路层只需要考虑如何完成本层协的协议和服务,而不 ...
计算机网络第二章物理层试题,计算机网络试题第二章物理层_跨考网
一.填空题 1从双方信息交互的方式来看,通信有以下三个基本方式:()通信.( )通信和( )通信. (第二章物理层知识点: 通信的方式答案: 单工.半双工.全双工.) 2每赫带宽的理想低通信道的最高 ...
线性代数复习第二章矩阵
第二章矩阵 2.1 矩阵的概念矩阵的概念和运算矩阵和前面的行列式定义类似,记 A=(aij)m×n\mathbf{A} = (a_{ij})_{m \times n} 为 m×nm \times ...
第二章单元测试的基本概念和核心技法
第二章单元测试的基本概念和核心技法 2.1 良好的单元测试--定义我们已经了解了程序员需要单元测试,下面我们来给单元测试作一个完整的定义: ● 定义: 单元测试是一段自动执行的代码,它调用被测类或 ...
19年8月字母哥第一章 spring boot 2.x基础及概念入门这里全部看完了热部署没出来第二章在前面2页用热点公司网不行
http://springboot.zimug.com/1233100 文档 http://www.zimug.com/page/5 字母哥个人博客 11111 第一章 spring bo ...

第二章一阶逻辑 2.1 一阶逻辑基本概念