谓词-量词、主析取、主和取范式、前束范式、推理证明

这部分内容,主要需要掌握谓词推理,而前提是掌握将自然语言符号化为谓词、用量词来限定辖域,量词的消去、剩下就是推理过程。还需要掌握的是主析取、主和取范式和前束范式。

存在量词**∃**:至少有一个

全称量词**∀**:全都是,所有

前束范式:通过逻辑计算,将量词放到整个式子的最前面

注意:主析取范式括号内的叫做小项,当对其编码时,真值为1;

主合取范式括号内的叫做大项,当对其编码时,真值为0

主析取范式:将式子化为如下模式:

__ )v( __ )v(

主和取范式:将式子化为如下模式:

vvv

对于推理证明来说,照着逻辑推就是,但是注意如果是全称量词∀,那么就可以取任何值,但是要注意存在量词∃就不能去所有值而是某个特例。

相关推荐
黄昏ivi39 分钟前
电力系统最小惯性常数解析
算法
独家回忆3641 小时前
每日算法-250425
算法
烁3471 小时前
每日一题(小白)模拟娱乐篇33
java·开发语言·算法
Demons_kirit2 小时前
LeetCode 2799、2840题解
算法·leetcode·职场和发展
软行2 小时前
LeetCode 每日一题 2845. 统计趣味子数组的数目
数据结构·c++·算法·leetcode
永远在Debug的小殿下2 小时前
查找函数【C++】
数据结构·算法
我想进大厂2 小时前
图论---染色法(判断是否为二分图)
数据结构·c++·算法·深度优先·图论
油泼辣子多加2 小时前
【风控】稳定性指标PSI
人工智能·算法·金融
雾月553 小时前
LeetCode 1292 元素和小于等于阈值的正方形的最大边长
java·数据结构·算法·leetcode·职场和发展
知来者逆5 小时前
计算机视觉——速度与精度的完美结合的实时目标检测算法RF-DETR详解
图像处理·人工智能·深度学习·算法·目标检测·计算机视觉·rf-detr