- 1、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。。
- 2、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
- 3、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学知识点整理
离散数学
逻辑和证明
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无论取何值都无法让复合语句为真,则该系统规范说明是不一致的。
1.3命题等价式
逻辑等价:在
您可能关注的文档
- 《数学与生活》小报.doc
- 《数学与哲学》读后感.doc
- 《四次数学危机与世界十大经典数学悖论》.doc
- 04-1若干数学观点中的数学文化.ppt
- 6个数学故事揭示数学学科的本质.docx
- 7现代数学(二)20世纪数学概观.ppt
- 0950数学与应用数学(数学教育).doc
- 2016考研数学试题.doc
- 2019年考研数学数学2模拟卷.doc
- 2019小升初数学试卷.docx
- 2025至2030中国排气垫片行业项目调研及市场前景预测评估报告.docx
- 2025至2030中国环托行业项目调研及市场前景预测评估报告.docx
- 2025-2030中国高通量药物筛选行业发展趋势与投资机会研究报告.docx
- 2025至2030中国陶瓷介质电容器行业项目调研及市场前景预测评估报告.docx
- 2025至2030中国眼科激光治疗机行业市场发展现状及竞争策略与投资发展报告.docx
- 2025-2030POCT产品家庭化趋势与渠道变革分析报告.docx
- 2025至2030中国密封腹腔镜钳行业项目调研及市场前景预测评估报告.docx
- 2025至2030国内油箱清洗机行业项目调研及市场前景预测评估报告.docx
- 2025至2030中国光伏行业市场发展分析及趋势前景与投融资报告.docx
- 2025-2030中国汽车芯片国产化替代路径与供应链安全风险分析.docx
最近下载
- 《安全生产法规普及》课件.ppt VIP
- 新能源汽车充电设施项目首期工程PPP项目特许经营协议书.PDF VIP
- (2025秋新版)人教版数学三年级上册教学计划.docx VIP
- 钢结构涂装施工方案.docx VIP
- 机械制图习题集 课件 第6章 机件的图样画法 -半剖视图.pptx
- T_CITS 0037—2023(吸油烟机自清洁度测试方法及分级).pdf VIP
- 化工装置“三查四定”检查表综合表细则表.docx VIP
- 石咀小学支部党风廉政建设清单.doc VIP
- BPS-Handbook_2014_chinese如需更详细 请查阅.pdf VIP
- 中文三菱分油机维护说明书.pdf VIP
文档评论(0)