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