离散数学——（6）谓词逻辑的翻译，谓词的合式公式，约束变元及换名，闭式，谓词的等价，谓词的等价式和蕴含式

最新推荐文章于 2024-04-20 16:56:53 发布
最新推荐文章于 2024-04-20 16:56:53 发布
阅读量537 收藏 11
点赞数 8
分类专栏： 离散数学 文章标签： 离散数学 谓词
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/2301_79431343/article/details/136731661
版权
本文详细探讨了谓词逻辑的关键概念，包括原子谓词公式、合式公式结构、约束变元的处理、换名规则、闭式性质、量词与联结词的关系以及等价性和蕴含式，还涉及量词分配律和多重量词等价式。
摘要由CSDN通过智能技术生成

目录

 1.谓词逻辑的翻译

2.谓词的合式公式 

1.原子谓词公式 

3.约束变元及换名 

1.换名规则 

4.闭式 

5.谓词的等价 

1.命题公式的推广 

2.量词与联结词之间的关系 

6.谓词的等价和蕴含式 

量词分配率等价式 

多重量词等价式 

蕴含式 

 1.谓词逻辑的翻译

1e409877b12f4987a0c461aa8a582b45.png

5c5c0ff6e1514cbea469cfea9fe7a2ac.png

4aa4d4c4fc5547d0b977b6724adb8339.png

d31d010a31544833a4a48e01de4bcc2a.png

717e66227d5645afb277f1a5c105a5e5.png

60ce0fb95dc24cee801a8d5ed39c500a.png

2.谓词的合式公式 

246e9c9055ae49e6ac4591497890d750.png

5d69263dd7ff4ad4a492f47cbc43a338.png

952069c01ae4403a80c8e47c1938d257.png

1.原子谓词公式 

f8f9e4fc8a8f4216a13802b4ec74aa92.png

828274d67c5445fa9bc48e8fa7c60b50.png

a45973f4786b4ce68d5c1a9515bed440.png

7aacc5e7c3924cc7980451f9af83182b.png

a830fcedd82546bc825fb4a359902955.png

a9e21cee2b8e4086bdc1167e6552415f.png

3.约束变元及换名 

01e96a541f394b7d86183ab1f1a7609c.png

9df142e601f64837bcde328be708b002.png

3933e11862d9416a8b270777c1745138.png

bc62f8a5b0174a0a956f44dce8d874dd.png

7041d0fe45484d9ba98c38a50859d4a3.png

1.换名规则 

bc15a2e2a74d485e9f166698cacf1090.png

ef1c04beb7884754985b13655e6d5355.png

fb0fa00f0d6e4e28bc8ea1a633c6421c.png

4.闭式 

19ba1f86e85842bcb358be33ff6162ea.png

79aba53b7e71420c85750885d3d0f6c8.png

2a8ab64517964515b855a7b7ce505087.png

d6743a456e7d4b95829d50311d13468c.png

6728513157174b828f62b6a62bb2570c.png

cf8806b58925412abe432a75a67edb85.png

741aedfa10724b5a9baaae7b49fc5513.png

5.谓词的等价 

f3ba56a293f94f1c9d6c81ad71ea27c7.png

7432980b36b0467087d3c918c55a27fc.png

80a10b99ec8d48a5afc32bebcbe936ad.png

1.命题公式的推广 

217d50d2790f436f9fa649adcb87b66b.png

2.量词与联结词之间的关系 

320b532908c643f0bed574abe677ff5a.png

fec5686f535e47dcaf282fb14ba4587d.png

6.谓词的等价和蕴含式 

2270ff03a58b47a1bcc4fe107766d646.png

bc90e6d72424460f9dc1625b92b7889e.png

量词分配率等价式 

16c39a1595fe49ca8ba6067781a14781.png

多重量词等价式 

fb2803fadde44a2aaf66d5d12f118664.png

蕴含式 

42053e349156462e8c74c18c73cbd373.png

6f84f59e619d4a6e8c83478f719da754.png

柏箱
关注
  • 8
    点赞
  • 踩
  • 11
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
《离散数学》笔记
ww981580010的博客
03-09 2万+
《离散数学》笔记总结
人工智能-谓词逻辑 精品资料.pptx
10-24
Skolem标准形是谓词逻辑的一种标准形，指的是将谓词公式化为与之等价的前束范式。Skolem标准形可以用于解决谓词逻辑中的各种问题，如推理、证明等。 谓词逻辑归结原理 谓词逻辑归结原理是指将谓词公式化为Skolem...
离散数学知识点总结（8）：一阶逻辑（谓词逻辑）中的换名规则和常用定理
热门推荐
qq_42902997的博客
09-26 1万+
文章目录换名规则常用定理量词否定等值式量词辖域的收缩与扩张等值式量词分配等值式无名等值式回到式子 (3)∗(3)*(3)∗总结一下 换名规则 为什么需要进行换名？举个例子 在下面的公式中： ∀xF(x)∨∃xG(x)\forall x F(x)\vee\exist x G(x)∀xF(x)∨∃xG(x)                 &nb
离散数学-数理逻辑- 一阶逻辑等值演算（5）
weixin_57038791的博客
01-13 531
设A，B是一阶逻辑中的两个公式，若A ↔ B 是永真式，则称A与B等值，记作A ⟺ B ，称A ⟺ B 是等值式。在命题逻辑中，任何公式都可以表示成等值的析取范式与合取范式，在一阶逻辑中公式也有范式形式。
【离散数学】谓词
qq_56460466的博客
04-20 1069
离散数学-谓词，学习笔记
《离散数学》学习笔记
zRNA__的博客
04-13 5422
截图来自于https://www.icourse163.org/course/UESTC-1002268006 集合论基础 不含任何元素的集合是空集 空集是绝对唯一的 对于一个具体的范围 考虑的所有对象的集合是全集 记作U或E 全集是相对唯一的 证明集合相等： 幂集也叫做集族或集合的集合，对集族的研究在数学方面、知识库和表处理语言以及人工智能等方面都有十分重要的意义。 并集： ...
离散数学——谓词逻辑
qq_45902301的博客
04-10 7490
这篇文章简单的介绍了离散数学中的谓词逻辑相关的知识。
离散数学 --- 谓词逻辑 --- 谓词合式公式详解
qq_51947882的博客
09-05 5438
量词分配律中：全称量词只有在合取联结词出现的时候才能够进行分配，而存在量词只有在析取联结词出现的时候才能够进行分配。1.在E35中虽然都有两个变量X，但这是两个不同的变量，只是取了同一个名字而已，我们当然也可以给它们取不同的名字（E36同理）这里面的S是一个不包含个体变量x的谓词公式，所以不受量词辖域管理，所以量词辖域可收缩。1.谓词逻辑是不可判定的，因为我们无法给出它的真值表，即我们无法列出它的所有解释。1.前束范式的一切量词都得在公式的最前端，且这些聚集起来的量词中不能够出现否定词。
离散数学谓词逻辑PPT课件.pptx
10-09
等价式用于表示两个谓词逻辑公式在逻辑上等价，蕴含式描述了从一个公式推导出另一个公式的逻辑关系，而前束范式则是简化和标准化谓词逻辑推理的一种形式。 通过学习谓词逻辑，我们可以更精确地表达和推理关于个体和...
人工智能知识表示方法谓词逻辑70 精品资料.pptx
10-24
"人工智能知识表示方法谓词逻辑精要" 本资源摘要信息主要关注人工智能知识表示方法中的谓词逻辑法，旨在研究形式逻辑的数理逻辑分支。谓词逻辑法是人工智能中的一种基本形式语言，基于谓词分析，用于描述问题解决和...
离散数学——判断是否合法.zip
03-03
在离散数学中，我们学习了命题逻辑和谓词逻辑，其中包含了逻辑联接词（如与、或、非、蕴含、等价）、量词（全称量词和存在量词）以及变量的合理组合。一个合法的公式必须遵循一定的语法规则，例如括号的匹配、量词的...
命题逻辑与谓词逻辑PPT课件.pptx
10-07
规则包括：① 孤立的命题变元或逻辑常量（T、F）是合式公式；② 如果A是一个合式公式，则～A也是一个合式公式；③ 如果A、B是合式公式，则A∨B、A∧B、A→B、A也都是合式公式；④ 当且仅当有限次使用规则①～③后...
算机科学与技术 基于Java的医务室病例管理小程序的设计与实现.docx
07-20
算机科学与技术 基于Java的医务室病例管理小程序的设计与实现
物联网工程_基于NBIOT的白洋淀水质实时监测系统.docx
07-20
物联网工程_基于NBIOT的白洋淀水质实时监测系统
国企数字化转型解读及赋能三套材料.pptx
07-20
国企数字化转型解读及赋能三套材料.pptx
搞金融的同学三小时快速入门python从零入门量化交易系列.doc
最新发布
07-20
Python
某国字头央企市场化与数字化转型(交付版).pptx
07-20
某国字头央企市场化与数字化转型(交付版).pptx
离散数学 第二章 谓词逻辑 2-5 谓词演算的等价式和蕴涵式
06-06
谓词演算中常用的一些等价式和蕴涵式如下： 1. 否定律： ¬(P ∧ Q) ≡ ¬P ∨ ¬Q ¬(P ∨ Q) ≡ ¬P ∧ ¬Q ¬¬P ≡ P 2. 同一律： P ∧ P ≡ P P ∨ P ≡ P 3. 分配律： P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ ...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

柏箱

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值