命题逻辑
2016-04-14 15:32:08 8 举报
离散数学的命题逻辑知识脉络整理图
作者其他创作
大纲/内容
范式
其他连接词
析取 ∨
真值赋值函数
可满足式
复合命题
编码
等值⇔
合式公式wff
否定 ¬
小项
双重否定律幂等律交换律结合律分配率吸收率德摩根律零律同一律矛盾律排中律等值式归谬
矛盾式
形式化
对偶
等价公式
重言式
主析合范式
基本性质
原子命题
连接词
条件 →
等价性
自然语言
合式公式空间
主析取范式
真值表
原子命题 P
命题变元
真值表相等
重言代换
命题逻辑
大项
指派
合取 ∧
真值
完备集
双条件 ↔ iff
等值代换
最小完备集
子式
等值定理（A↔B为重言式）
0 条评论
回复 删除
下一页
