【数理逻辑】命题逻辑 ( 命题与联结词回顾 | 命题公式 | 联结词优先级 | 真值表 可满足式 矛盾式 重言式 )
文章目录
基于上一篇博客 【数理逻辑】谓词逻辑 ( 个体词 | 个体域 | 谓词 | 全称量词 | 存在量词 | 谓词公式 | 习题 ) ;
一、命题与联结词
原子命题 :
表示 原子命题 , 又称为 简单命题 ;
- 真 :
表示 命题真值 为真 ;
- 假 :
表示 命题真值 为假 ;
联结词 : 上一篇博客 【数理逻辑】谓词逻辑 ( 个体词 | 个体域 | 谓词 | 全称量词 | 存在量词 | 谓词公式 | 习题 ) 三. 联结词 章节讲解了联结词 ;
- 否定联结词 :
- 合取联结词 :
,
,
同真, 结果才为真 , 其余情况为假 ;
- 析取联结词 :
,
,
同假, 结果才为假 , 其余情况为真 ;
- 蕴涵联结词 :
,
,
真
假, 结果才为假 , 其余情况为真 ;
- 等价联结词 :
,
,
真值相同时为真 , 表示等价成立 ,
真值相反时为假 , 等价不成立 ;
二、命题公式
命题公式 组成 :
① 单个 命题变元 / 命题常元 是命题公式 ;
② 如果
是命题公式 , 则
也是命题公式 ;
③ 如果
是命题公式 , 则
也是命题公式 ;
④ 有限次 应用 ① ② ③ 形成的符号串 是命题公式 ; ( 无限次不行 )
三、命题公式示例
命题公式示例 :
简单命题 :
复合命题 : 使用 联结词 的命题称为 复合命题 ;
, 最外层的括号可以省略 ,
, 最外层括号可以省略 , 内层的括号不可以 ,
;
四、联结词优先级
联结词优先级 :
“
” 大于 “
” 大于 “
”
优先级相同 ;
优先级相同 ;
五、真值表
真值表 :
p p p | q q q | p → q p \to q p→q | p ∧ ¬ q p \land \lnot q p∧¬q | p ∧ ( p ∨ q ) ↔ p p \land ( p \lor q ) \leftrightarrow p p∧(p∨q)↔p |
---|---|---|---|---|
0 0 0 | 0 0 0 | 1 1 1 | 0 0 0 | 1 1 1 |
0 0 0 | 1 1 1 | 1 1 1 | 0 0 0 | 1 1 1 |
1 1 1 | 0 0 0 | 0 0 0 | 0 0 0 | 1 1 1 |
1 1 1 | 1 1 1 | 1 1 1 | 0 0 0 | 1 1 1 |
是 可满足式 ;
是 矛盾式 , 又称为 永假式 ;
是 重言式 , 又称为 永真式 ;
可满足式 : 真值表中 , 至少有一个结果为真 , 可以都为真 ;
矛盾式 ( 永假式 ) : 所有的真值都为假 ;
可满足式 与 矛盾式 , 是 二选一 的 , 复合命题 要么是 可满足式 , 要么是 矛盾式 ;
重言式 ( 永真式 ) 是可满足式的一种 ;
相关文章
- ChunJun框架在数据还原上的探索和实践 | Hadoop Meetup精彩回顾
- 热文回顾|“双碳”目标下物流业的挑战与对策
- 云原生年度回顾与展望 | 2月16日TF93
- 一文看尽SOTA生成式模型:9大类别21个模型全回顾!
- 红帽 2017 峰会 第三天回顾:自动化的未来
- 取消安装:深刻回顾SQL Server 2012(sqlserver2012卸载)
- 回顾LIGO之父的传奇人生,这次他会再失诺贝尔物理学奖吗?
- Linux 中国旗下贡献者组织 LCTT 七年回顾和展望
- Oracle全面回顾谱写数据库发展史(oracle 全面回忆)
- 回顾MySQL上周日的时期,了解数据库的应用和发展(mysql上周日的时期)
- MySQL数据库回顾上个月1号的更新情况(mysql 上个月1号)