离散数学的命题逻辑 命题公式与真值表的关系.pptVIP

*离散数学-lecture3 *  1-4 补充内容-命题公式与真值表的关系 这个由公式列写真值表的过程是容易 若给定了由P1…Pn到A的真值表, 是否可以写出命题公式A对P1…Pn的逻辑表达式呢? 一、从T来列写 二、从F来列写 由T列来写 看A的真值T, 如何依赖于P、Q的真值 在图中的第一、第二和第四行，A值为T。即A取T有三种可能的情形, 或第一种情形, 或第二种情形, 或第三种情形。从而有A = (…)1 ∨ (…)2 ∨(…)3 任意 F F T T T T T F F F T F F T T T F T F T T F F C ?A B A Q P 进而分析每种使A为真的情形，第一种情形是P=F,Q=F同时 出现，也即?P∧?Q出现（为真）。于是可将(…)1 写成(?P∧?Q)。 同理(…)2和(…)13应分别写成(?P∧Q)和(P∧Q)，于是得 A= (?P∧?Q) ∨ (?P∧Q) ∨ (P∧Q) 考虑到对A来说，取T的解释个数（为3）多于取F的解释个数 （为1），自然在真值表中补上?A列，以便对?A写 ?A=P∧?Q 便可得 A= ?(P ∧?Q) 或 A= ?P ∨Q 同样可得 B=(?P∧?Q) ∨(?P∧Q) 由F列来写 看B的真值F, 如何依赖于P、Q的真值。 在图中的第三、第四行，B值为F。即B取F有两种可能的情形, 或第一种情形, 或第二种情形。从而有 　B = (…)1∧(…)2 B=(?P∨Q) ∧(?P∨?Q) A=(?P∨Q) 进而分析每种使B为假的情形。第一种情形是P = T Q = F出现, 也即 ?P∨Q为假, 于是可将(…)1写成(?P∨Q)。同理(…)2 写成(?P∨?Q)。于是得 小结 要注意的是这两种列写公式的区别, 首先是区分从T还是从F来列写, 分别得到　　　　(·∧·)∨(·∧·)∨(·∧·) 　　形和　　　　(·∨·)∧(·∨·)∧(·∨·)　　形的不同结构。再者, 在填写文字P、Q时, 何时加否定也是有区别的。　　再有当列写公式C时, 因图中对解释{P、Q} = {T, T}时, C取何值可任意, 或说C与{P, Q} = {T, T}无关, 这时可适当选取C的真值, 以使C的表达式简单。 1-5 重言式与蕴含式 从上节真值表和命题的等价公式推证中可以看到，有些命题公式无论对分量作何种指派其对应的真值都为T或都为F 这两类特殊的命题公式在今后的命题演算中极为有用。 1-5 重言式与蕴含式 定义1-5.1 给定一命题公式，若无论对分量作怎样的指派， 其对应的真值永为T，则称该命题公式为重言式或永真公式。 定义1-5.2 给定一命题公式，若无论对分量作怎样的指派， 其对应的真值永为F，则称该命题公式为矛盾式或永假公式。 1-5 重言式与蕴含式 定理1-5.1 任何两个重言式的合取或析取，仍然是一个 重言式。 证明 设A和B为两个重言式，则不论A和B的分量指派任何 真值，总有A为T，B为T，故A∧B?T,A∨B ?T。 1-5 重言式与蕴含式 对于矛盾式也有类似于定理1-5.1和定理1-5.2的结果。 定理1-5.2 一个重言式，对同一分量都用任何合式公式 置换，其结果仍为一重言式。 证明 由于重言式的真值与分量的指派无关，故对同一分量 以任何合式公式置换后，重言式的真值仍为T。 1-5 重言式与蕴含式 例题1 证明((P∨S) ∧R) ∨?((P∨S) ∧R)为重言式。 因为P∨?P ?T，如以((P∨S) ∧R) 置换P即得 ((P∨S) ∧R) ∨?((P∨S) ∧R) ?T 1-5 重言式与蕴含式 定理1-5.3 设A、B为两个命题公式，A?B当且仅当A?B为 一个重言式。 证明 若A?B，则A、B有相同真值，即A?B永为T。 若A?B为重言式，则A?B永为T，故A、B的真值相同， 即A?B。 1-5 重言式与蕴含式 例题2 证明?(P∧Q) ?(?P∨?Q) 证明 由上节例题4中表1-4.4可知，?(P∧Q) ?(?P∨?Q)为 重言式，故据定理1-5.3 ?(P∧Q) ?(?P∨?Q) 我们知道，联结词?可以用?来表达。即 A ?B?(A?B) ∧(B?A) 下面讨论A?B的重言式。 1-5 重言式与蕴含式 定义1-5.3 当且仅当P?Q是一个重言式时，我们称“P蕴含Q”， 并记作P?Q。 因为P?Q不是对称的，即P?Q与Q?P不等价，对P?Q来说， Q?P称作它的逆换式； ?P??Q称为它的反换式； ?Q??P 称它的逆反式，它们之间的