01命题逻辑.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 离散数学 * 六、应用（续） (2) 求主合取范式 ((p ? r) ? q) ? (q ? p) ? ((? p ? r) ? q) ? (? q ? p) ? (? p ? r ? q) ? (? q ? p) ? (? p ? q ? r) ? ((p ? ? q) ? (r ? ? r)) ? (? p ? q ? r) ? (p ? ? q ? ? r ) ? (p ? ? q ? r) ? M4 ? M3 ? M2 ?∏(2, 3, 4) * 离散数学 * A为重言式，当且仅当A的主析取范式含所有极小项 A为矛盾式，当且仅当A的主析取范式不含任何极小项 A为可满足式，当A的主析取范式中至少含一个极小项 A为重言式，当且仅当A的主合取范式不含任何极大项 A为矛盾式，当且仅当A的主合取范式含所有极大项 A为可满足式，当A的主合取范式中至少含一个极大项 六、应用（续） 主析取范式（主合取范式）的用途： (2) 判断两命题公式是否等值。通过判断两命题公式 的主析取范式（主合取范式）是否相等 (3) 判断命题公式的类型。 (1) 求命题公式的成真和成假赋值。 * 离散数学 * 例10：判断下列命题公式的类型 (1) ? ( p ? q) ? q (2) (( p ? q) ? p) ? q 六、应用（续） 解：(1) ? ( p ? q) ? q ? ? (? p ? q) ? q ? p ? ? q ? q ? 0 矛 盾 式 * 离散数学 * 例10：判断下列命题公式的类型 (1) ? ( p ? q) ? q (2) (( p ? q) ? p) ? q 六、应用（续） ? ? ((? p ? q) ? p) ? q 解：(2) (( p ? q) ? p) ? q ? ( p ? ? q) ? ? p ? q ? ( p ? ? q) ? (? p ? q) ? (? p ? ? q) ? ( p ? q) 重 言 式 ? m2 ? m1 ? m0? m3 ?∑(0, 1, 2, 3) * 离散数学 * 六、应用（续） 主析取范式和主合取范式的关系： 设命题公式含n个命题变项，其主析取范式中含k个极小项 … ，不含极小项 … ， 则主合取范式中含极大项 … 如：A中含3个命题变项， A ? m0 ? m1 ? m6 ? m7 ? ∑(0, 1, 6, 7) 则A ? M2 ? M3 ? M4 ? M5 ? ∏(2, 3, 4, 5) * 离散数学 * 一、推理的概念 推理：从前提推出结论的思维过程。 前提指已知的命题公式，结论是从前提出发按照一定的推理规则推出的命题公式。 逻辑结论（有效结论）：若( A1 ? A2 ? … ? An ) ? B 为重言式， 则称A1, A2, …, An推结论B的推理正确， B是A1, A2, … , An的逻辑结论或有效结论。 并记之为(A1 ? A2 ? … ? An ) ? B §1.6 推理理论 * 离散数学 * 例11：判断下面各推理是否正确 (1) 如果天气凉快，小王就不去游泳。天气凉快, 所以小王没去游泳。 (2) 如果我上街，我一定去新华书店。我没上街， 所以我没去新华书店。 二、应用 解题思想: (1) 将命题符号化； (2) 写出前提、结论和推理的形式结构； (3) 用真值表法、等值演算或主析取范式法进行判断。 * 离散数学 * (1) 如果天气凉快，小王就不去游泳。天气凉快, 所以小王没去游泳。 二、应用（续） 解：设p：天气凉快，q：小王去游泳 前提： p ? ? q , p 结论： ? q 推理的形式结构为 (( p ? ? q) ? p) ? ? q (*) * 离散数学 * 下面判断(*)式是否为重言式 二、应用（续） (( p ? ? q) ? p) ? ? q ? ?((? p ? ? q) ? p) ? ? q ? (?(