否定词名词解释：真值联结词之一.通常用符号“”,“～”,“N”,“-”等来表示(右表).设p为一命题,则p(或～p,Np,p-,读做“非p”)表示这命题的否命题,p被称为是p的否定式.例如,若p为命题“二加二等于五”,则p表示命题“二加二不等于五”.p与否定式p之间的逻辑关系是名词解释：p为真,当且仅当p为假.这可用上面的真值表来表示.
