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

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

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

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

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

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

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

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

__ )v( __ )v(

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

vvv

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

相关推荐
神里流~霜灭5 分钟前
蓝桥备赛指南(12)· 省赛(构造or枚举)
c语言·数据结构·c++·算法·枚举·蓝桥·构造
小杨爱学习zb12 分钟前
学习总结 网格划分+瞬态求解设置
笔记·学习·算法
双叶83626 分钟前
(C语言)单链表(1.0)(单链表教程)(数据结构,指针)
c语言·开发语言·数据结构·算法·游戏
uhakadotcom1 小时前
OpenAI 的 PaperBench:AI 研究复现基准测试工具
算法·面试·github
凯强同学1 小时前
第十四届蓝桥杯大赛软件赛省赛Python 大学 C 组:6.棋盘
python·算法·蓝桥杯
wuqingshun3141591 小时前
蓝桥杯 切割
数据结构·c++·算法·职场和发展·蓝桥杯
艾妮艾妮1 小时前
C语言常见3种排序
java·c语言·开发语言·c++·算法·c#·排序算法
百度Geek说1 小时前
前沿多模态模型开发与应用实战3:DeepSeek-VL2多模态理解大模型算法解析与功能抢先体验
算法
小王努力学编程1 小时前
动态规划学习——回文子串系列问题【C++】
c++·学习·算法·leetcode·动态规划
ZTLJQ2 小时前
基于机器学习的三国时期诸葛亮北伐失败因素量化分析
人工智能·算法·机器学习