东大20春学期《离散数学X》在线平时作业1参考资料.docxVIP

东大20春学期《离散数学X》在线平时作业1参考资料

一、引言

《离散数学X》作为计算机相关专业的基础核心课程，对于培养学生的逻辑思维、抽象推理能力以及问题建模能力至关重要。在线平时作业是巩固课堂所学、检验学习效果的重要环节。本参考资料旨在为同学们完成20春学期《离散数学X》在线平时作业1提供一些有益的指导和思路借鉴，帮助同学们更好地理解和掌握相关知识点。请注意，本资料仅为学习辅助，鼓励同学们独立思考、自主完成作业，真正将知识内化为自己的能力。

二、核心知识点回顾与梳理

本次在线平时作业1的考察重点，通常会围绕课程初期的核心内容展开，主要包括：

（一）命题逻辑

1.命题与联结词：深刻理解命题的定义（能判断真假的陈述句），掌握否定（?）、合取（∧）、析取（∨）、蕴含（→）、等价（?）等基本逻辑联结词的含义、真值表以及自然语言中的表达方式。特别注意“蕴含”联结词的逻辑含义，其前件为假时整个命题为真的情况，以及等价联结词所表示的双向蕴含关系。

2.命题公式与真值表：掌握命题公式的定义，能够准确构造给定命题公式的真值表，并根据真值表判断公式的类型（重言式、矛盾式、可满足式）。

3.等值演算：熟练运用基本的等值式（如双重否定律、幂等律、交换律、结合律、分配律、德摩根律、吸收律、零律、同一律、排中律、矛盾律、蕴含等值式、等价等值式、假言易位、等价否定等值式、归谬论等）进行命题公式的化