否定式(语言)

否定式(语言):

用否定真值联结词””联结命题组成的真值形式。否定式一般记为p,读为”并非p”,其中p是被否定的命题,称为否定支。一个否定式为真,当且仅当,其否定支为假。否定真值联结词可用真值表来定义:

由真值表可知,否定式与其否定支具一有矛盾关系:不同真、不同假。

为您推荐

西方舆论学的肯定派和否定派(新闻)

西方舆论学的肯定派和否定派:西方舆论学在起源和发展中围绕舆论和政治统治的关系所形成的两大基本流派:怀疑否定派和肯定派。西方舆论观念主要是围绕3个基本问题而形成的,一是公众有无知政、议政、参政的能力?二是公众..

否定副词(语言)

否定副词(语言):表示否定的副词。如“不”、“甭”、“决不”、“没”、“没有”、“别”、“非”、“莫”、“未必”等。对话中,“不”,“没有”常可单说,后边有停顿,如:“看电影吗?——不。”“吃饭了吗?——没有。”“不..

否定之否定规律

否定之否定规律 : 自然界、社会和思维发展的普遍规律,唯物辩证法的基本规律之一。它揭示了事物发展螺旋式上升,波浪式前进的曲折过程。这个规律最初是黑格尔提出的。他把这个规律看作是“绝对精神..

否定式(语言)

逻辑代数(语言)

逻辑代数(语言):也叫“布尔代数”。一种代数化的逻辑。是用代数公式表示逻辑关系,把代数方法应用于逻辑研究的结果。由英国数学家布尔(George Boole)于1850年前后首创。就其抽象的数学形式说,逻辑代数已发展成为格论的分..

赋值(语言)

赋值(语言):也叫“指派”。逻辑语义学基本概念之一。在解释内给具体表达式以确定的对象。在命题逻辑中,通常指把某个真值(真或假)赋予一个命题的所有原子命题。赋值时相反的真值不能同时赋予某个原子命题。如以V表示一..

个体词(语言)

个体词(语言):表示个体的词项。在逻辑中,一个论域中的元素称为个体,该论域称为个体域,个体词是表示个体的符号。如在“a大于b”中,“a”与“b”都是个体词。表示某个论域中特定个体的个体词称个体常项或个体常元,一般用字母..