第1章命题逻辑 否定"-" 设p为任一命题,复合命题“非p(p的否定)称 为p的否定式,记作 为一"否定联结词p 为真,当且仅当p为假。 一P的真值亦可由表11.1所示的称为“真值表”的 表格确定。由表1.1.1可知:命题p为真,当且仅当P 。事实上,它定义了一个一元函数(称为一元真值函数): f:{0,1}>{0,1} f(0)=1f(1)=0第1章 命题逻辑 1.否定 设p为任一命题，复合命题“非p”（p的否定）称 为p的否定式，记作 ：为 否定联结词。 为真，当且仅当p为假。 的真值亦可由表1.1.1所示的称为“真值表”的 表格确定。由表1.1.1可知：命题p为真，当且仅当 。事实上，它定义了一个一元函数(称为一元真值函数)： " "  p " "  p p p :{0,1} {0,1} (0) 1 (1) 0    → = = f f f