否定式(语言)

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

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

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

真值形式(语言)：依据一定的规则，由真值联结词与真值变项结合而成的表达式。它是复合命题形式的抽象。数理逻辑中常用的五种基本真值形式是：⑴否定式：p。⑵合取式：pq。⑶析取式：pvq。⑷蕴涵式：p→q。⑸等值式：p←→q。其中，p和q..

形式系统(语言)：形式化了的公理系统。它包括以下三个部分：⑴形式语言。规定一个形式语言，首先要列出各科初始符号，它们是形式语言的字母，其中一部分是初始概念，包括逻辑概念；然后再列出一组形成规则，形成规则规定怎样由初始符..

命题间的真值关系(语言)：命题间的真假关系。任意两个命题之间的真值关系，不外乎以下七种：⑴等值关系。A与B是等值的，当且仅当，A与B同真同假。⑵矛盾关系。A与B是矛盾的，当且仅当，A与B不可同真、不可同假。⑶反对关系。A与B是..