--命题逻辑
Posted
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了--命题逻辑相关的知识,希望对你有一定的参考价值。
第2章 命题逻辑
• 2.1 命题逻辑基本概念
• 2.2 命题逻辑等值演算
• 2.3 范式
• 2.4 命题逻辑推理理论
蕴涵联结词
等价联结词 p <--> q为真 当且仅当 p与q同时为真或同时为假.
合式公式
真值表:命题公式在所有可能的赋值下的取值的列表 ,含n个变项的公式有2n个赋值
等值式:若等价式A<=>B是重言式, 则称A与B等值, 记作A<=>B, 并称A<=>B是等值式
n个命题变项的真值表共有 个, 故每个命题公式都有无穷多个等值的命题公式
可能有哑元出现. 在B中出现, 但不在A中出现的命题变项称作A的哑元.
同样,在A中出现, 但不在B中出现的命题变项称作B的哑元. 哑元的值不影响命题公式的真值.
等值演算不能直接证明两个公式不等值. 证明两个公式不等值的基本思想是找到一个赋值使一个成真, 另一个成假.
联结词完备集
2.3 范式
• 2.3.1 析取范式与合取范式
– 简单析取式与简单合取式
– 析取范式与合取范式
• 2.3.2 主析取范式与主合取范式
– 极小项与极大项
– 主析取范式与主合取范式
– 主范式的用途
合取是且,析取是或
范式存在定理
定理2.5 任何命题公式都存在着与之等值的析取范式与合取范式
极小项与极大项
简单合取式和析取式 遵守一些规则(位置和唯一),就是极小项,极大项
主析取范式与主合取范式
主析取范式:由极小项构成的析取范式
主合取范式:由极大项构成的合取范式
定理2.7 任何命题公式都存在着与之等值的主析取范式和主合取范式, 并且是惟一的
以上是关于--命题逻辑的主要内容,如果未能解决你的问题,请参考以下文章