基本联结词与复合命题.ppt

第 14 章 命题逻辑 知识点 命题概念 基本联结词与复合命题 合式公式与联结词优先次序 构造真值表，证明等价式 不构造真值表，证明蕴含式 应用Ｐ规则T规则推理证明 蕴含式，推理理论 CP规格与间接推理证明 难点 命题公式化简 P、T、CP规则 推理理论及应用 要求 熟练掌握 构造真值表和不构造真值表证明蕴含 式与等价式 命题与符号化与翻译及歧义性消除 Ｐ规则、T规则推理证明 应用CP规格与间接推理证明 了解 命题公式与联结词化简 14.1 命题与联结词 所谓命题就是能判断真假，但不会既能真又 能假的陈述句为命题。命题的判断结果称命题的 真值。真值只能取两个值“真”或“假”。“真”用1或 T（True）表示，“假”用0或F（False）表示。 在数理逻辑中，我们用大字英文字母表示命 题，称为命题变元。当一个命题变元用一个具体 命题代入时，就会有确定的真值。例如，用P表 示命题，则P是命题变元，当P用具体命题“雪是 黑色的”代入后，P就表示命题：雪是黑色的， 这时P有确定的真值：F。用一个具体命题代 入命题变元称为对命题变元的指派。 1.否定 定义1 设P为命题，P的否定是一个新命题，记 作 P。若P为T，则 P为F，若P为F，则 P为T。 2.合取 定义2 设P、Q是命题，P和Q的合取是一个复 合命题，记作 。当且仅当P、Q同时 为T时， 为T ，其他情况下 为F。 3.析取 定义3 设P，Q是命题，P和Q的析取也是一个命题， 记作 当且仅当P，Q同时为F时， 为 F其他情况下 为T。 4.排斥析取 定义4 设P，Q是命题，P和Q的排斥析取也是个命 题，记作 当且仅当P和Q的真值不相同时， 为T，其他情况下真值都是F。 例 指出下列命题中的“或”是析取还是排斥析取 1）今晚我去看电影或在家温书。 2）我吃面包或蛋糕。 3）他是百米冠军或跳远冠军。 4）今晚9时，中央一台播放电视剧或播放足球比赛。 5）派王一或赵平去北京学习。 6）派王一或赵平中的一人去北京学习。 解 1）、4）、6）中的“或”为排斥析取。 2）、3）、5）中的“或”为析取。 排斥或表示的是非此即彼，不可兼得，而可兼或表 示的是二者至少发生一个，不排除二者都发生的情况。 5.条件 定义5 设P，Q是命题，P对于Q的条件命题，记作 。 当且仅当P的真值为T，Q的真值为F时， 的真值为F，其他情况下的真值为T。 我们称 中的P为前件，Q为后件。 也称P蕴含Q。 6.双条件 定义6 设P，Q为命题，其双条件命题，记作 当P和Q真值相同时， 为T，其他 情况下 为F。 由命题变元和联结词组成的“复杂命题变元”称为 命题公式。各变题变元称为命题公式的分量。如 P， ， ， 都是命题公式，而P，Q，R是命题公式分量。 联结词也称逻辑运算符，其运算顺序为： ， 。 例 设P表示命题“天下雨”， 设Q表示命题“我去 看球赛”， 设R表示命题“我有时间”， 试以符号化 表示下列命题： 1）天不下雨。 2）如果天不下雨，那么我去看球赛。 3）我去看球赛，仅当我有时间。 4）如果天不下雨且我有时间，那么我去看球赛 解 1） P 2） 3） 4） 例 请将下列命题符号化 1）如果天不下雨，那么我去看球赛；否则我不 去看球赛。 2）如果天不下雨，那么我去看球赛；否则我在 家看电视。 解 设P表示命题“天下雨”，Q表示命题“我去看球 赛”，R表示命题“我在家看电视”。 1） 2） 14.2 真值表和逻辑等价 定义7 在命题公式中，对各分量指派所有可能的 真值，从而确定命题公式的各种真值，把它汇列 成表就是命题公式的真值表。 例 构造 的真值表。 解