离散数学复习要点2369.pdfVIP

离散数学复 习要点 -CAL-FENGHAI-(2020YEAR-YICAI)_JINGBIAN 离散数学复习要点 第一章命题逻辑 一、典型考查点 1、命题的判断方法：陈述句真值唯一，特殊：反问句也是命题。其它疑问句、祈使句、感叹句、悖 论等皆不是。详见教材P1 2、联结词运算定律┐ ∧∨→ 记住特殊的：1∧1 1，0 ∨0 0 ，1→ 0 0 ，1 1 1，0 0 1 详 见P5 3、命题符号化步骤：A 划分原子命题，找准联结词。特殊自然语言：不但而且，虽然但是用∧，只有 P 才Q，应为Q→P；除非P 否则Q，应为┐ P→Q 。 B 设出原子命题写出符号化公式。详见P5 4 、公式的分类判定（重言式、矛盾式、可满足式）方法：其一根据所有真值赋值情况，其二根据等价 演算来判断。详见P9 5、真值表的构造步骤：①命题变元按字典序排列，共有2n 个真值赋值。②对每个指派，以二进制数 从小到大或从大到小顺序列出。③若公式较复杂，可先列出各子公式的真值(若有括号，则应从里层向 外层展开)，最后列出所求公式的真值。详见P8。 6、基本概念：置换规则，P 规则，T 规则，详见P24；合取范式，析取范式，详见P15；小项详见 P16；大项详见P18，最小联结词组详见P15 7、等价式详见P2