高等学校二十一世纪教材
电子教案
离散数学
人民邮电出版社
第一章 命题逻辑
命题逻辑,也称命题演算,记为Ls。它与谓词逻辑组成数理逻辑基础,而命题逻辑又是谓词逻辑基础。数理逻辑是用数学方法即经过引入表意符号研究推理学问。所以,数理逻辑又名为符号逻辑。
退出
1.1 命题与联结词1.2 命题变元和合式公式1.3 公式分类与等价公式1.4 对偶式与蕴涵式1.5 联结词扩充与功效完全组1.6 公式标准型——范式1.7 公式主范式1.8 命题逻辑推理理论
|
楼主: 打了个飞的
|
109
0
[课件与资料] 自考离散数学教程市公开课一等奖省赛课获奖PPT课件 |
|
已卖:7368份资源 院士 98%
-
|
| ||
|
|
jg-xs1京ICP备16021002号-2 京B2-20170662号
京公网安备 11010802022788号
论坛法律顾问:王进律师
知识产权保护声明
免责及隐私声明


