【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

10月前作者：猿来是你呀& 分类：Toy博客阅读(43) 违法举报

这篇具有很好参考价值的文章主要介绍了【离散数学期复习系列】二、一阶逻辑（谓词逻辑）。希望对大家有所帮助。如果存在错误或未考虑完全的地方，请大家不吝赐教，您也可以点击"举报违法"按钮提交疑问。

1.一阶逻辑(谓词逻辑);
个体词:单独存在的个体,可具体,可抽象.如人,画,思想…
谓词:表示性质或两者之间的关系如…是程序员 A比B高
个体常项:表示具体的或特定的个体的词
个体变项:泛指的个体的词称
个体域:个体变项的取值范围,可有限,也可无限如自然数集
全总个体域:个体域由宇宙间的一切事物组成
谓词常项:具体性质或关系的谓词
谓词变项:抽象的或泛指的谓词
x具有性质F :记为F(x)
x,y具有关系L:记为L(x,y)
元数:谓词中包含的个体词数称为.
含n(n≥1)个个体词的谓词称为n元谓词.一元谓词是表示个体词性质的.
当n≥2时,n元谓词表示个体词之间的关系
0元谓词:不带个体变项的谓词,就是将个体谓词变项变成个体谓词常项

【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

2.全称量词:
【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

3.存在量词:
【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

例:
【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

M（x）：x是人，为特性谓词

3.一阶逻辑符号化字母表

【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

4.项:
【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

5.原子公式:设R(x1,x2,…xn)是任意的n元谓词，t1,t2,…, tn是项,则称R(t1,t2，…,tn).
合式公式(谓词公式):简称公式
【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

6.指导变项:合式公式∀xA和∃xA中的x
辖域:合式公式∀xA和∃xA中的A
约束出现:辖域中x的所有出现(x受相应量词指导变项的约束)
自由出现:A中不是约束出现的其他变项的出现（不受量词的约束的变项）
例：
【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

封闭的合式公式(闭式):若公式A中无自由出现的个体变项（没有不受约束的项）
【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

8.解释I:通俗的说就是将不确定的项(元素,函数,谓词)都赋值

【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

解题技巧:把所有条件带进去即可
赋值:给定解释I,给公式中每个自由出现的个体变项指定个体域中的一个元素
例
【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

9.逻辑有效式(永真式):设A为一谓词公式,如果A在任何解释和该解释下的任何赋值下都为真
矛盾式(永假式):,如果A在任何解释和该解释下的任何赋值下都为假
可满足式:若至少存在一个解释和该解释下的一个赋值使A为真

11.等值式:设A、B是一阶逻辑中的两公式,若A<-→B为逻辑有效式,记为A<=>B
重要定理:
【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

注:A(x)是含自由出现的任意的公式,而B中不含有x的自由出现

【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

前束范式：就是指谓词公式前面的全程量词或存在量词
例:
【离散数学期复习系列】二、一阶逻辑（谓词逻辑）

注:换名的目的是为了解除一些与某量词无关的约束如（2）题，便于获得前束式（量词），如果能直接前移就不需要换元，否则需要哦
当然谓词公式的前束范式并不唯一，比如（3）就可以先换名再提出来，结果也是对的
12.结尾:
苏格拉底三段论“凡是人都要死的.苏格拉底是人.所以苏格拉底是要死的

【离散数学期复习系列】二、一阶逻辑（谓词逻辑）文章来源地址https://www.toymoban.com/news/detail-448564.html

到了这里，关于【离散数学期复习系列】二、一阶逻辑（谓词逻辑）的文章就介绍完了。如果您还想了解更多内容，请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章，希望大家以后多多支持TOY模板网！

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：如若内容造成侵权/违法违规/事实不符，请点击违法举报进行投诉反馈，一经查实，立即删除！

分享到：

领支付宝红包赞助服务器费用

《离散数学》：逻辑

离散数学是数学的一个分支，研究离散对象和离散结构的数学理论和方法。这学期学校开了离散数学的课程，我受益颇丰，感觉到了离散数学真正的魅力，也被开创离散数学各个分支的人的聪明与才智深深折服。与连续数学不同，离散数学关注的是离散的、离散化的数

2024年02月08日
浏览(36)
离散数学学习要点——命题逻辑

命题判断一句话是否是命题有两个关键 1、是陈述句 2、有且只有一个真值 2是个素数是命题 x + y 5 不是命题，是命题函数我正在说谎不是命题，是悖论（从它的真可以判断它的假，从它的假又可以判断他的真。）。如果真值为T，那么他就正在说谎话，“我在说谎”这句话

2024年01月19日
浏览(36)
离散数学习题1.1 命题逻辑

图源：文心一言离散数学习题记录，仅节选习题~🥝🥝 面对每个小节动辄30+道题的庞大题量，我深知，以我计穷智短的天资与精卫填海的刷题速度，即便日以继夜地奋战，累成被山西老陈醋泡过的腊八蒜，时间仍显得捉襟见肘~因此，每个类型的题目我随机仅挑选1-2道解答

2024年01月23日
浏览(39)
离散数学---期末复习知识点

一、数理逻辑 [ 复习知识点 ] 1、命题与联结词（否定￢、析取∨、合取∧、蕴涵→、等价↔），命题(非真既假的陈述句),复合命题(由简单命题通过联结词联结而成的命题) 2、命题公式与赋值（成真、成假），真值表，公式类型（重言、矛盾、可满足），公式的基本等值式

2024年02月08日
浏览(74)
离散数学之图论复习笔记

图的定义一个图 G 是一个序偶〈 V ( G ), E ( G )〉，记为 G ＝〈 V ( G ), E ( G )〉。其中 V ( G )是非空结点集合， E ( G )是边集合，对 E ( G )中的每条边，有 V ( G )中的结点的有序偶或无序偶与之对应。图G的结点与边之间的关系邻接点 :同一条边的两个端点。孤立点 :没有边与之关

2024年02月08日
浏览(37)
离散数学期末复习（4）：图论（Graphs）

目录 10.1 Graphs and Graph Models (图和图模型) 10.2 Graph Terminology and Special Types of Graphs (图的术语和几种特殊图) 1.基础概念 2. 度（degree）（1）无向图中一个顶点v的度是这个点相关的边的数量，写作deg(v) （2）握手定理（3）出度和入度 3.图的分类（1）圈图（Cycles）（2）轮图

2024年02月03日
浏览(36)
离散数学编程作业--打印输出逻辑运算表

编程内容及要求：编写程序，打印输出9种基本逻辑运算符（与、或、非、条件、双条件、异或、与非、或非、条件否定）的运算表到字符文件logic.txt中。编程语言可选择C、C++、Java或Python。逻辑运算表输出格式示例: ------------------ P Q 条件否定 ------------------ T

2023年04月21日
浏览(40)
离散数学复习---第十七章平面图【概念版】

目录 17.1 平面图的基本概念 17.2 欧拉公式 17.3 平面图的判断 17.4 平面图的对偶图定义17.1 如果能将无向图G画在平面上使得除顶点外处处无边相交，则称G为可平面图，简称为平面图。画出的无边相交的图称为G的平面嵌入。无平面嵌入的图称为非平面图。定理17.

2024年02月05日
浏览(40)
《离散数学导学》精炼：第1-3章（导论，数，命题逻辑）

勤学苦练莫懈怠，求知问道不辞难。脚踏实地披荆斩棘，铸就辉煌不负韶华。知识点滴如珠玉，汲取精华莫放弃。勤奋学习方成才，未来辉煌走向前。我一直觉得在计算机这一学科的学习中，离散数学是极为重要的知识基础。离散化的思想体现在计算机学科的方方面面。举

2023年04月12日
浏览(40)
HNU-离散数学-工具箱系列3-关系矩阵法求传递闭包

用于解决这类问题：举例一、举例二、（求传递闭包）代码如下：

2024年02月11日
浏览(49)