--命题逻辑

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了--命题逻辑相关的知识,希望对你有一定的参考价值。

第2章 命题逻辑
2.1 命题逻辑基本概念
2.2 命题逻辑等值演算
2.3 范式
2.4 命题逻辑推理理论

蕴涵联结词

等价联结词  p <--> q为真       当且仅当 pq同时为真或同时为假.

技术分享

 

合式公式

 

真值表:命题公式在所有可能的赋值下的取值的列表 ,含n个变项的公式有2n个赋值

等值式:若等价式A<=>B是重言式, 则称AB等值, 记作A<=>B, 并称A<=>B是等值式

 

n个命题变项的真值表共有 个, 故每个命题公式都有无穷多个等值的命题公式

 

可能有哑元出现. B中出现, 但不在A中出现的命题变项称作A的哑元.

同样,A中出现, 但不在B中出现的命题变项称作B的哑元. 哑元的值不影响命题公式的真值.

技术分享

 

 


 

 

技术分享

等值演算不能直接证明两个公式不等值. 证明两个公式不等值的基本思想是找到一个赋值使一个成真, 另一个成假.

 

技术分享技术分享

联结词完备集

 

技术分享技术分享

2.3 范式

2.3.1 析取范式与合取范式
– 简单析取式与简单合取式
– 析取范式与合取范式
2.3.2 主析取范式与主合取范式
– 极小项与极大项
– 主析取范式与主合取范式
– 主范式的用途

技术分享技术分享

合取是且,析取是或


 

范式存在定理

定理2.5 任何命题公式都存在着与之等值的析取范式与合取范式

技术分享技术分享


 

极小项与极大项

 

技术分享

简单合取式和析取式 遵守一些规则(位置和唯一),就是极小项,极大项

 

技术分享

 

主析取范式与主合取范式

主析取范式:由极小项构成的析取范式
主合取范式:由极大项构成的合取范式

技术分享

定理2.7 任何命题公式都存在着与之等值的主析取范式和主合取范式, 并且是惟一的

 

以上是关于--命题逻辑的主要内容,如果未能解决你的问题,请参考以下文章

--命题逻辑

命题逻辑

逻辑与推理

常用逻辑用语@命题@猜想@量词

逻辑学 直言命题中SAP\SEP\SIP\SOP 中的A,E,I,O分别代表啥?

人工智能原理复习 | 命题逻辑和谓词演算