Please enable JavaScript.
Coggle requires JavaScript to display documents.
第一章命题逻辑 - Coggle Diagram
第一章命题逻辑
2-联结词
合取：同真为真，其余为假
析取：同假为假，其余为真
条件：前真后假为假，其余为真
否定
双条件：同真同假为真，其余为假
5-重言式与蕴含式
蕴含式
定义
逻辑蕴含公式
命题公式的分类
矛盾式（永假式）
非重言式或可满足式
重言式（永真式）
证明逻辑等价、逻辑蕴含的定理
定理1：A、B逻辑等价当且仅当他们的双条件式为重言式
定理3：A逻辑蕴含B当且仅当A->B为重言式
定理2：A、B逻辑等价当且仅当A逻辑蕴含B且B逻辑蕴含A
8-推理理论
实质：推理实际上是证明蕴含永真的过程
基本方法
直接证法（PT规则）
真值表法
间接证法
反证法
条件论证（CP规则）
7-对偶与范式
对偶式
相关定理
定义
范式
分类
合取范式
小项的概念
主合取范式
求解方法
真值表法
利用基本等价公式推出
定义
定义
析取范式
定义
大项的概念
主析取范式
定义
求解方法
真值表法
利用基本等价公式推出
1-命题及其表示法
命题
定义：能表达判断的语言是陈述句，称为命题
分类
原子命题
复合命题
判断是否为命题：首先要是陈述句，其次要有唯一真值
命题标识符
命题常量
命题变元
3-命题公式与翻译
命题符号化的具体步骤
合式公式的定义与规范
4-真值表与等价公式
真值表
定义
构造步骤
等价公式
定义
逻辑等价公式
6-其他联结词
重点掌握 "异或"