否定词﹡
所属分类：数学
否定词名词解释：真值联结词之一.通常用符号“”,“～”,“N”,“-”等来表示(右表).设p为一命题,则p(或～p,Np,p-,读做“非p”)表示这命题的否命题,p被称为是p的否定式.例如,若p为命题“二加二等于五”,则p表示命题“二加二不...
合取词﹡
所属分类：数学
合取词名词解释：真值联结词之一.通常用符号“∧”,“”,“K”等来表示.如果p,q为两个命题,则p∧q(或pq,Kpq,读做“p且q”)表示由p,q组成的复合命题“p且q”.p∧q被称为是p和q的合取式,而p,q称为该合取式的合取项,或合取...