离散数学之命题符号化概述.ppt

* 真值函數 问题：含n个命题变项的所有公式共产生多少个互 不相同的真值表？ 定义 称定义域为{00…0, 00…1, …, 11…1}，值域 为{0,1}的函数是n元真值函数，定义域中的元素是 长为n的0,1串. 常用F:{0,1}n?{0,1} 表示F是n元真值 函数. 共有 个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元真值函数对应的真值表 p q 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0