用合取真值联结词“”联结两个或两个以上的命题而成的真值形式。构成合取式的支命题称为合取支或合取项,用p、q、r等表示。合取式一般记为pq,读作“p合取q”。合取式的逻辑性质取决于“合取”这一真值联结词。一个合取式为真,当且仅当,它的每一个合取支是真的。合取真值联结词可用真值表来定义:
合取式(语言)
合取式(语言):
用合取真值联结词“”联结两个或两个以上的命题而成的真值形式。构成合取式的支命题称为合取支或合取项,用p、q、r等表示。合取式一般记为pq,读作“p合取q”。合取式的逻辑性质取决于“合取”这一真值联结词。一个合取式为真,当且仅当,它的每一个合取支是真的。合取真值联结词可用真值表来定义:
真值表(语言):数理逻辑中用以定义命题联结词并确定复合命题真值的一种图表。它能显示一个复合命题(或真值形式)在它的大命题(或真值变项)的各种真值组合下所取的真值。如复合命题”p并且q”的真值形式一般写作pq。其变..
量词的辖域(语言):指量词所约束的范围。一般认为,量词后无括号时,量词后最短公式为此量词的辖域;量词后有括号时,括号内的公式为此量词的辖域。如:在表达式“(x)F(x)”中,量词的辖域是:F;在表达式“(x)(F(x)→(L(x)K(x))中”,量..
逻辑语形学(语言):也叫“逻辑句法学”、“逻辑语法学”。研究逻辑形式系统中语言表达式之间关系的科学。它对表达式的研究是独立于任何解释的,只考虑符号的形状和空间排列关系。它要解决的主题是:逻辑形式系统中的一个表..
逻辑代数(语言):也叫“布尔代数”。一种代数化的逻辑。是用代数公式表示逻辑关系,把代数方法应用于逻辑研究的结果。由英国数学家布尔(George Boole)于1850年前后首创。就其抽象的数学形式说,逻辑代数已发展成为格论的分..
赋值(语言):也叫“指派”。逻辑语义学基本概念之一。在解释内给具体表达式以确定的对象。在命题逻辑中,通常指把某个真值(真或假)赋予一个命题的所有原子命题。赋值时相反的真值不能同时赋予某个原子命题。如以V表示一..