基本信息
内容简介
目录
1.1 命题及联结词
1.1.1 命题的概念
1.1.2 原子命题和复合命题
1.1.3 联结词
1.2 命题的合式公式和翻译
1.2.1 命题公式
1.2.2 命题公式的翻译
1.2.3 真值表
1.3 公式的等价和蕴含
1.3.1 永真式、永假式和可满足式
1.3.2 等价式和常用的等价式
1.4 全功能联结词集合
1.5 对偶与范式
1.5.1 对偶定义
1.5.2 对偶定理
1.5.3 析取范式和合取范式
1.5.4 主析取范式和主合取范式
1.6 推理理论
1.6.1 蕴含式
作者其它作品
移动电子商务
- ¥35.00
- ¥29.75