01 离散数学 第一章 数理逻辑.pptVIP

联结词的优先级 命题公式外层的括号可以省略； 联结词的优先级：┐、∧、∨、→、?。 利用加括号的方法可以提高优先级。 范例：如下的Wff ： P∧Q→R 等价于Wff ： （（P∧Q）→R ） 等价于Wff ： （P∧Q）→R 不等价于Wff ： P∧（Q→R） 全真为假 见假为真。 全假为真 见真为假。 表1-6.2 异或词“?”的意义 F（0） F（0） T（1） F（0） F（0） T（1） F（0） T（1） F（0） F（0） T（1） T（1） p ? q q p p ? q读作“p和q的条件否定” 前真后假为真 其余为假。 （2）条件否定 定义1-6.2 设P和Q是两个命题公式， P和Q的条件否定是一个新命题公式，记作P ? Q。当且仅当P的真值为T，Q的真值为F时， P ? Q 为T，其他情况下的真值都是F。 根据此定义，可知 P ? Q ? ┐（P → Q） （3）与非 定义1-6.3 设P和Q是两个命题公式， P和Q的与非是一个新命题公式，记作P ? Q。当且仅当P和Q的真值都为 T时， P ? Q 为F ，其他情况下P ? Q的真值都是T 。 根据此定义，可知 P ? Q ? ┐（P∧Q