联结词全功能集复合联结词排斥或与非式或非式真值函数联结词全.ppt

复合联结词 排斥或: p?q?(p??q)?(?p?q) 与非式: p?q??(p?q) 或非式: p?q??(p?q) 真值函數 命题公式与真值函数 联结词的全功能集 联结词的全功能集(续) 联结词的全功能集实例 * 1.4 联结词全功能集 复合联结词 排斥或 与非式 或非式 真值函数 联结词全功能集 定义1.11 设p、q为两个 命题，复合命题“p与q之 中恰有一个成立”称为p 与q的排斥或（异或）， 记为p ?q， ?称为排斥 或。 P ?q为真当且仅当 p与q中恰有一个为真。 p?q?(p??q)?(?p?q) 定义1.12 设p、q为两个 命题，复合命题“p不蕴 涵q”称为p与q的条件否 定，记为p ?q。p ?q为 真当且仅当p为真q为 假。 p ? q ? ?(p →q) 定义1.13设p、q为两个命题，复合命题“p与q的否 定”称为p与q的与非式，记为p ↑q 。p ↑ q为真当 且仅当p与q不同时为真。 p ↑q ? ?(p ∧ q) 定义1.14 设p、q为两个命题，复合命题“p或q的否 定”称为p与q的或非式，记为p ↓q 。p ↓ q为真当且仅当p与q不同时为真。 p ↓ q ? ?(p ∨ q) ?1、?p↑p ? ?(p ∧ p) ? ?p ?2、?(p ↑q) ↑(p ↑q) ? ?(p ↑q) ? p ∧ q 3、 (p ↑p) ↑(q ↑q) ? ?p ↑ ?q ? ?(?p ∧ ?q) ? p ∨ q 联结词“↑”有以下性质： 设p、q为命题，则： 问题：含n个命题变项的所有公式共产生多少个互 不相同的真值表？ 答案为22n个，为什么？ 定义 称定义域为{00…0, 00…1, …, 11…1}，值域 为{0,1}的函数是n元真值函数，定义域中的元素是 长为n的0,1串. 常用F:{0,1}n?{0,1} 表示F是n元真值 函数. 共有22n个n元真值函数. 例如 F:{0,1}2?{0,1}，且F(00)=F(01)=F(11)=0， F(01)=1，则F为一个确定的2元真值函数 对于任何一个含n个命题变项的命题公式A，都存在 惟一的一个n元真值函数F为A的真值表. 等值的公式对应的真值函数相同. 下表给出所有2元真值函数对应的真值表, 每一个含 2个命题变项的公式的真值表都可以在下表中找到. 例如：p?q, ?p?q, (?p?q)?(?(p?q)?q) 等都对应 表中的 2元真值函数对应的真值表 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 1 p q 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 1 p q 定义 在一个联结词的集合中，如果一个联结词可 由集合中的其他联结词定义，则称此联结词为冗余 的联结词，否则称为独立的联结词. 例如,在联结词集{?, ?, ?, ?, ?}中，由于 p?q??p?q, 所以，?为冗余的联结词; 类似地，?也是冗余的 联结词. 又在{?, ?, ?}中，由于 p?q??(?p??q)， 所以，?是冗余的联结词. 类似地，?也是冗余的联 结词. 定义 设S是一个联结词集合，如果任何n(n?1) 元 真值函数都可以由仅含S中的联结词构成的公式表 示，则称S是联结词全功能集. 说明： 若S是联结词全功能集，则任何命题公式都可用S中的联结词表示. 若S1, S2是两个联结词集合，且S1 ? S2. 若S1是全 功能集，则S2也是全功能集. (1) S1={?, ?, ?,}