离散数学第一章命题逻辑备选.ppt

§1命题 例：判断下列语句是否为命题。 ＊　陈述句一般为命题 （1）十是整数。　　 （Ｔ） （2）上海是一个村庄。（Ｆ）　　 （3）今天下雨。 （4）加拿大是一个国家。（Ｔ） （5）２是偶数而３是奇数。　　　　 （6）她不是护士。 （7）１＋１０１＝１１０ （8）今天是星期天。 §1命题 命令句，感叹句，疑问句均不是命题。 　 （1）把门关上！ 　 （2）你到哪里去？ 语句既为真，同时又包含假的不是命题，这样的句子称为“悖论”。 　 （3）他正在说谎。 （在命题逻辑中不讨论这类问题） §2命题联结词 例. 将下列命题符号化： （1）李明是计算机系的学生，他住在312室或313室。 （2）张三和李四是朋友。 （3）虽然交通堵塞，但是老王还是准时到达了车站。 （4）只有一个角是直角的三角形才是直角三角形。 （5）老王或小李中有一个去上海出差。 §2命题联结词 解： （1）首先用字母表示简单命题。 P：李明是计算机系的学生。 Q：李明住在312室。 R：李明住在313室。 该命题符号化为：P?（Q▽R） （2）张三和李四是朋友。是一个简单句 该命题符号化为：P §2命题联结词 （3）首先用字母表示简单命题。 P：交通堵塞。 Q：老王准时到达了车站。 该命题符号化为：P?Q （4）首先用字母表示简单命题。 P：三角形的一个角是直角。 Q：三角形是直角三角形。 该命题符号化为：?P? ?Q §2命题联结词 （5）首先用字母表示简单命题。 P：老王去上海出差。 Q：小李去上海出差。 该命题符号化为：P ▽ Q 也可符号化为： （P??Q）?（?P?Q）或者 （P ? Q） ? ? （P?Q） §３命题公式 §３命题公式 例２．写出命题公式　 Ｐ∨（ＱΛＲ）的真值表 例：证明：Ｐ→（Ｑ→Ｒ）?Ｐ→（?Ｑ∨Ｒ） ??Ｐ∨?Ｑ∨?Ｒ ??（ＰΛＱ）∨Ｒ ? （ＰΛＱ）→Ｒ 例：证明： （（Ｐ∨Ｑ）Λ?（?ＰΛ（?Ｑ∨?Ｒ）））∨（?ＰΛ?Ｑ）∨（?ＰΛ?Ｒ）为一永真式 §4等价式 证明：原式： （（Ｐ∨Ｑ）Λ?（?ＰΛ（?Ｑ∨?Ｒ）））∨（?ＰΛ?Ｑ）∨（?ＰΛ?Ｒ） ?（（Ｐ∨Ｑ）Λ（Ｐ∨（ＱΛＲ）））∨?（Ｐ∨Ｑ）∨?（Ｐ∨Ｒ）　 ? （（Ｐ∨Ｑ）Λ（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ））∨?（（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ）） ?（（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ））∨?（（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ））?Ｔ ∵它是ＰΛ?Ｐ（永真式）的代换实例，永真式的代换实例仍为永真式！ §4等价式 证明：原式： （（Ｐ∨Ｑ）Λ?（?ＰΛ（?Ｑ∨?Ｒ）））∨（?ＰΛ?Ｑ）∨（?ＰΛ?Ｒ） ?（（Ｐ∨Ｑ）Λ（Ｐ∨（ＱΛＲ）））∨?（Ｐ∨Ｑ）∨?（Ｐ∨Ｒ）　 ? （（Ｐ∨Ｑ）Λ（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ））∨?（（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ）） ?（（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ））∨?（（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ））?Ｔ ∵它是ＰΛ?Ｐ（永真式）的代换实例，永真式的代换实例仍为永真式！ §4等价式 例：证明： （１）?（ＰΛＱ）→（?Ｐ∨（?Ｐ∨ Ｑ）） ?（?Ｐ∨Ｑ） （２）（Ｐ∨Ｑ） Λ （?ＰΛ（?ＰΛＱ）） ?（?ＰΛＱ） 证明：（１）左边 ? ??（ＰΛＱ） ∨ （?Ｐ∨（?Ｐ∨ Ｑ）） ? （ＰΛＱ） ∨ （?Ｐ∨ Ｑ） ? （Ｐ∨ ?Ｐ∨ Ｑ） Λ （Ｑ∨ ?Ｐ∨ Ｑ） ? （?Ｐ∨ Ｑ） §4等价式 （２）左边 ? （Ｐ∨Ｑ） Λ （?ＰΛＱ） ? （ＰΛ?ＰΛＱ） ∨ （ＱΛ?ＰΛＱ） ? （?ＰΛＱ） 结论：（１）和（２）是互为对偶的。 §7范式和判定 例：证明Ｐ∨（?Ｐ∧Ｑ）?Ｐ∨Ｑ 证明方法是写出二个命题公式的主析范式，看其是否相同： （Ｑ∨?Ｑ）∧Ｐ∨（?Ｐ∧Ｑ） ?（Ｐ∧Ｑ）∨（Ｐ∧?Ｑ）∨（?Ｐ∧Ｑ） 而Ｐ∨Ｑ ? （Ｐ∧（Ｑ∨?Ｑ））∨（Ｑ∧（Ｐ∨?Ｐ）） ?（Ｐ∧Ｑ）∨（Ｐ∧?Ｑ）∨（Ｐ∧Ｑ）∨（?Ｐ∧Ｑ） ?（Ｐ∧Ｑ）∨（Ｐ∧?Ｑ）∨（?Ｐ∧Ｑ） 主析范式相同，∴有Ｐ∨（?Ｐ∧Ｑ） ?Ｐ∨Ｑ §8推理理论 例1： P?(Q ?S), ?R∨P,Q ? R?S 证: (1) R 附加前提 　　 (2) ?R∨P P (3) R?P T(2