命题逻辑备选.pptVIP

第一页，共三十九页，2022年，8月28日 §1命题 命令句，感叹句，疑问句均不是命题。 　 （1）把门关上！ 　 （2）你到哪里去？ 语句既为真，同时又包含假的不是命题，这样的句子称为“悖论”。 　 （3）他正在说谎。 （在命题逻辑中不讨论这类问题） 第二页，共三十九页，2022年，8月28日 §2命题联结词 例. 将下列命题符号化： （1）李明是计算机系的学生，他住在312室或313室。 （2）张三和李四是朋友。 （3）虽然交通堵塞，但是老王还是准时到达了车站。 （4）只有一个角是直角的三角形才是直角三角形。 （5）老王或小李中有一个去上海出差。 第三页，共三十九页，2022年，8月28日 §2命题联结词 解： （1）首先用字母表示简单命题。 P：李明是计算机系的学生。 Q：李明住在312室。 R：李明住在313室。 该命题符号化为：P?（Q▽R） （2）张三和李四是朋友。是一个简单句 该命题符号化为：P 第四页，共三十九页，2022年，8月28日 §2命题联结词 （3）首先用字母表示简单命题。 P：交通堵塞。 Q：老王准时到达了车站。 该命题符号化为：P?Q （4）首先用字母表示简单命题。 P：三角形的一个角是直角。 Q：三角形是直角三角形。 该命题符号化为：?P? ?Q 第五页，共三十九页，2022年，8月28日 §2命题联结词 （5）首先用字母表示简单命题。 P：老王去上海出差。 Q：小李去上海出差。 该命题符号化为：P ▽ Q 也可符号化为： （P??Q）?（?P?Q）或者 （P ? Q） ? ? （P?Q） 第六页，共三十九页，2022年，8月28日 §３命题公式 P Q P ∨Q （Ｐ∨Ｑ）ΛＰ ?（（Ｐ∨Ｑ）ΛＰ） F F F F T F T T F T T F T T F T T T T F 例１．构造命题公式?（（Ｐ∨Ｑ）ΛＰ）的真值表： 第七页，共三十九页，2022年，8月28日 §３命题公式 例２．写出命题公式　 Ｐ∨（ＱΛＲ）的真值表 P Q R Ｐ∨（ＱΛＲ) F F F F F F F T F F F T F F F F T T T T T F F T F T F T T F T T F T F T T T T T 第八页，共三十九页，2022年，8月28日 例：证明：Ｐ→（Ｑ→Ｒ）?Ｐ→（?Ｑ∨Ｒ） ??Ｐ∨?Ｑ∨?Ｒ ??（ＰΛＱ）∨Ｒ ? （ＰΛＱ）→Ｒ 例：证明： （（Ｐ∨Ｑ）Λ?（?ＰΛ（?Ｑ∨?Ｒ）））∨（?ＰΛ?Ｑ）∨（?ＰΛ?Ｒ）为一永真式 第九页，共三十九页，2022年，8月28日 §4等价式 证明：原式： （（Ｐ∨Ｑ）Λ?（?ＰΛ（?Ｑ∨?Ｒ）））∨（?ＰΛ?Ｑ）∨（?ＰΛ?Ｒ） ?（（Ｐ∨Ｑ）Λ（Ｐ∨（ＱΛＲ）））∨?（Ｐ∨Ｑ）∨?（Ｐ∨Ｒ）　 ? （（Ｐ∨Ｑ）Λ（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ））∨?（（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ）） ?（（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ））∨?（（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ））?Ｔ ∵它是ＰΛ?Ｐ（永真式）的代换实例，永真式的代换实例仍为永真式！ 第十页，共三十九页，2022年，8月28日 §4等价式 证明：原式： （（Ｐ∨Ｑ）Λ?（?ＰΛ（?Ｑ∨?Ｒ）））∨（?ＰΛ?Ｑ）∨（?ＰΛ?Ｒ） ?（（Ｐ∨Ｑ）Λ（Ｐ∨（ＱΛＲ）））∨?（Ｐ∨Ｑ）∨?（Ｐ∨Ｒ）　 ? （（Ｐ∨Ｑ）Λ（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ））∨?（（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ）） ?（（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ））∨?（（Ｐ∨Ｑ）Λ（Ｐ∨Ｒ））?Ｔ ∵它是ＰΛ?Ｐ（永真式）的代换实例，永真式的代换实例仍为永真式！ 第十一页，共三十九页，2022年，8月28日 §4等价式 例：证明： （１）?（ＰΛＱ）→（?Ｐ∨（?Ｐ∨ Ｑ）） ?（?Ｐ∨Ｑ） （２）（Ｐ∨Ｑ） Λ （?ＰΛ（?ＰΛＱ）） ?（?ＰΛＱ） 证明：（１）左边 ? ??（ＰΛＱ） ∨ （?Ｐ∨（?Ｐ∨ Ｑ）） ? （ＰΛＱ） ∨ （?Ｐ∨ Ｑ） ? （Ｐ∨ ?Ｐ∨ Ｑ） Λ （Ｑ∨ ?Ｐ∨ Ｑ） ? （?Ｐ∨ Ｑ） 第十二页，共三十九页，2022年，8月28日 §4等价式 （２）左边 ? （Ｐ∨Ｑ） Λ （?ＰΛＱ） ? （ＰΛ?ＰΛＱ） ∨ （ＱΛ?ＰΛＱ）