【文件属性】：
文件名称：期末复习-离散数学.rar
文件大小：909KB
文件格式：RAR
更新时间：2023-05-09 11:53:19
数学 计算机 离散数学 期末考试
例1 下列句子中那些是命题？
(1) 是有理数. (假命题)
(2) 2 + 5 = 7. ( 真命题)
(3) x + 5 > 3. (不是命题)
(4) 你去教室吗？(不是命题)
(5) 这个苹果真大呀！(不是命题)
(6) 请不要讲话！(不是命题)
(7) 2050年元旦下大雪. (命题，但真值现在不知道)
命题分类：简单命题（也称原子命题）与复合命题
简单命题符号化
【文件预览】：
期末复习-离散数学
----2关系基本概念.docx(214KB)
----2关系性质和关系闭包.docx(327KB)
----第1章逻辑概念和真值表.docx(41KB)
----2等价关系和偏序关系.docx(189KB)
----第3章 命题逻辑的推理理论.docx(46KB)
----第2章 逻辑析（取范式和合取范式）.docx(40KB)
----第2章 命题逻辑等值演算.docx(78KB)
----2关系习题.docx(45KB)