原创力文档- 1
- 0
- 约1.3万字
- 约 7页
- 2026-09-07 发布于四川
- 举报
离散数学
一、逻辑和证明
1.1命题逻辑
命题：是一个可以判断真假的陈述句。
联接词：∧、∨、→、↔、¬。记住“p仅当q”意思是“如果p，则q”，即
p→。记住“q除非p”意思是“¬p→q”。会考察条件语句翻译成汉语。
一对不相邻的顶点u和v都有degudegvn则有哈密顿回路最短通路算法迪克斯特拉算法和旅行商问题枚举平面图欧拉公式G是有e条边和v个顶点的平面连通简单图r是G的平面图表示中的面数则有rev根据上述条件有个推论可以用来判断不是平面图推论若v则
构造真值表
pqp∧qp∨qp→qp↔qp⊙q¬p
TTTTTTFF
TFFTFFTF
FTFT
您可能关注的文档
- 2015广东教师资格证小学数学说课范文《圆柱的表面积》.pdf
- 食品加工工艺及安全知识点测试题.pdf
- 大黑熊儿童故事 适合幼儿阅读的趣味绘本.pdf
- 2013年普法考试试卷及答案详解.pdf
- 中小学英语动词时态易错点全解析.pdf
- 最新房产测量规范实用指南.pdf
- 元宵节灯谜答案大全及解析.pdf
- 民宿特色建筑设计方案实用模板.pdf
- 商业综合体运营可行性分析实战指南.pdf
- 2026一建机电高分攻略 防腐与绝热施工重点解析.pdf
- CN119068347A 一种基于生态遥感的流域生态廊道提取方法 （四川省地质调查研究院）.pdf
- CN119069761A 锌溴液流电池电解液、制备方法及其应用 （浙江大学温州研究院）.pdf
- CN119073180A 一种卵心叶虎耳草快速繁殖的方法 （中国科学院昆明植物研究所）.pdf
- CN119063793A 一种低压配电站房动态环境及设备状态监测方法及系统 （国网山东省电力公司电力科学研究院）.pdf
- CN119064406A 热导率测量系统和热导率测量方法 （中国科学院合肥物质科学研究院）.pdf
- CN119583347A 一种城轨云仿真测试资源的可视化编排系统及方法 （北京轨道交通路网管理有限公司）.pdf
- CN119059935A 一种采用前馏分溶剂法合成2,2二异丙基丙腈的方法 （安徽金禾合成材料研究院有限公司）.pdf
- CN119061208A 诺如病毒全基因组测序的引物组、试剂盒及方法 （北京市疾病预防控制中心）.pdf
- CN119581017A 一种基于混合效应的个体化疼痛预测方法及系统 （中国科学院心理研究所）.pdf
- CN119582938A 室内软光缆的快速寻线方法及发光端子 （南京华脉科技股份有限公司）.pdf
最近下载
- 高中议论文分类专项指导（思辨类）.docx VIP
- JGT 163—2013 钢筋机械连接用套筒.pdf VIP
- ISO 14001 2026 环境管理体系 要求及使用指南(中文翻译版）.pdf
- 部编人教版小学道德与法制-3三年级上册精美课件全册课件.pptx VIP
- GB50215-2005 煤炭工业矿井设计规范.docx
- 人防工程竣工验收报告范本.pptx VIP
- 《浪浪山小妖怪》电影介绍故事分享ppt课件（优质ppt）.pptx VIP
- 基于PLC停车场车位控制系统设计.docx VIP
- 氦质谱检漏仪 HLT560 操作手册.pdf
- 14081自考法学《侵权责任法》2604全书笔记.pdf VIP
文档评论（0）