第一章命题逻辑的基本概念.ppt

* * * * * * * * * * * 4. 蕴涵式与蕴涵联结词“?” * 设p，q为两个命题，复合命题“如果p，则q”称作p与q的蕴涵式，记作p?q，并称p是蕴涵式的前件，q为蕴涵式的后件。 ?称作蕴涵联结词。 规定p?q为假当且仅当 p 为真 q 为假。 p?q 的逻辑关系 * p为 q 的充分条件，q 为 p 的必要条件。 常出现的错误：不分充分与必要条件。 “如果 p，则 q ” 的不同表述法： 若 p，就 q 只要 p，就 q 因为 p，所以 q p 仅当 q 只有 q 才 p 除非 q 才 p 或 除非 q, 否则非 p 以上各种叙述方法表面看有所不同，但都表示q是p的必要条件，因而都应符合化为p?q。 例：设 p:天冷，q:小王穿羽绒服， 将下列命题符号化： 序号 句子 符号化 (1) 只要天冷，小王就穿羽绒服. (2) 因为天冷，所以小王穿羽绒服. (3) 若小王不穿羽绒服，则天不冷. (4) 只有天冷，小王才穿羽绒服. (5) 除非天冷，小王才穿羽绒服. (6) 除非小王穿羽绒服，否则天不冷. (7) 如果天不冷，则小王不穿羽绒服. (8) 小王穿羽绒服仅当天冷的时候. p?q p?q p?q q?p q?p p?q q?p q?p * 注意： 1.在自然语言中，前提是假的，不论结论真假，整个语句的意义无法判断。在逻辑中，当前件p为假时， p?q为真，称为善意推定。 2. p与q不一定有内在联系。 P Q P ? Q F F T F T T T F F T T T 5. 等价式与等价联结词?” * 设p，q为两个命题，复合命题 “p当且仅当q”称作p与q的等价式，记作p?q，?称作等价联结词。 规定p?q为真当且仅当p与q同时为真或同时为假。 等价的注意事项 p?q 的逻辑关系：p与q互为充分必要条件。 p?q为真 当且仅当 p与q同真或同假。 p ? q与(p ? q)?(q ? p)等值。 p与q不一定有内在联系。 联结词的总结 * p q ? p p ∧ q p ∨q p ? q p ? q 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 1 1 返回 * ?p为真当且仅当p为假。 p∧q为真当且仅当p与q同时为真。 返回 p∨q为假当且仅当p与q同时为假。 为真当且仅当p与q的真值相异。 p?q为假当且仅当p为真，q为假。 p?q为真当且仅当p与q的真值相同。 五、基本复合命题 * 返回 基本复合命题以及多次使用常用联结词集S中的联结词复合而成的命题。 联结词的优先顺序为：?, ?, ?, ?, ?; 如果出现的联结词同级，又无括号时，则按从左到右的顺序运算； 若遇有括号时，应该先进行括号中的运算。 六、复合命题 * 返回 一、命题常项与命题变项 * 简单命题，其真值是确定的，称为命题常项。取值1或0的变量p，q，r…。 真值不确定（取值1或0）的陈述句。用p，q，r……表示。 * 注意： 1. 命题变项不是命题。 2. 命题变项与命题常项的关系如同数学 中变量与常量的关系。 3. p，q，r…既可以表示命题常项，也 可以表示命题变项。通常可以由上下 文确定。 返回 二、合式公式及其层次 * 将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串称为合式公式。 对合式公式进行分层，可准确地求出公式的真值。 1. 合式公式 * 递归定义如下： (1) 单个命题常项或变项是合式公式； (2) 若A是合式公式，则 (?A)是合式公式； (3) 若A, B是合式公式，则(A?B), (A?B), (A?B), (A?B)是合式公式； (4) 有限次地应用(1)~(3)形成的符号串是合式 公式。 * 注意：①设A合式公式，B为A的一部分，若 B也是合式公式，则称B为A的子公 式。 ②不影响运算次序的括号可以省去。 2. 公式的层次 (1) 若公式A是单个的命题变项，