- 10
- 0
- 约6.08千字
- 约 12页
- 2022-11-16 发布于江苏
- 举报
(完整 word 版)离散数学知识点整理
(完整 word 版)离散数学知识点整理
.
.
离散数学
一、逻辑和证明1。1 命题逻辑
命题:是一个可以判断真假的陈述句.
联接词:∧、∨、→、? 、?。记住“p 仅当 q”意思是“如果p,则 q,即 p→。记住“q 除非 p”意思是“?p→q”。会考察条件语句翻译成汉语。
构造真值表
p
q
p∧q
p∨q
p→q
p?q
p⊙q
?p
T
T
T
T
T
T
F
F
T
F
F
T
F
F
T
F
F
T
F
T
T
F
T
T
F
F
F
F
T
T
F
T
1.2 语句翻译
系统规范说明的一致性是指系统没有可能会导致矛盾的需求,即若 pq
您可能关注的文档
- 电工电子技术实训指导书.docx
- 电工电子技术期末考试.docx
- 电工电子技术期末试卷及答案2套.docx
- 电工电子课程介绍.docx
- 电工电子技术试题库及答案2012.docx
- 电工知识测试试卷 (1).docx
- 电工管理制度97413.docx
- 电工考试题库.docx
- 电工练习试卷.docx
- 电工证测试试卷.docx
- 2025-2026学年上海市普陀区曹杨第二中学高一(下)期末数学试卷(含答案).docx
- 2025-2026学年新疆生产建设兵团第二中学高一(下)期末数学试卷试卷(含答案).docx
- 2025-2026学年湖南省永州市高一(上)期末数学试卷(含答案).docx
- 2025-2026学年江西省宜春市丰城市第九中学日新班高三(下)期中数学试卷(含答案).docx
- 2025-2026学年云南省昆明市官渡区星耀学校高三(下)期中数学试卷(含答案).docx
- 2025-2026学年辽宁省葫芦岛市实验高级中学高三(下)期中数学试卷(含答案).docx
- 2025-2026学年浙江省杭州市八县区高三(上)期末数学试卷(含答案).docx
- 2025-2026学年陕西省西安市某校高三(下)期中数学试卷(含答案).docx
- 2025-2026学年河北省沧州十校高三(上)期末数学试卷(含答案).docx
- 《休克新理念》课件.pptx
原创力文档

文档评论(0)