联结词(语言)

联结词(语言):

在复合判断中联结支判断、表明支判断逻辑关系的概念。如“如果……那么……”,“或者”、“并且”等。运用这些逻辑联结词可以把支判断结合成各种复合判断。如“某数是偶数”和“某数能被2整除”,可以用“如果……那么……”联结成一个复合判断——“如果某数是偶数,那么某数能被2整除”,表示它们之间具有充分条件关系。联结词是复合判断中的逻辑常项,它决定了一个复合判断的逻辑性质和种类。

为您推荐

范式(语言)

范式(语言):能显示某种重要属性的表达式。数理逻辑中许多公式是等值的,但在表达形式方面常常是很不相同的。通过公式的等值转换,可以为千变万化的公式提供一个统一的表达式,这就是范式。范式能显示不同表达式的一些特性。..

子集(语言)①

子集(语言):逻辑学术语。对任何X面言,如果X∈A.那么X∈B,这样就称A为B的子集,记为AB。如A={a},B={a,b},则A是B的子集,或称A真包含于B,或者B真包含A。..

析取式(语言)

析取式(语言):用析取真值联结词“V”将两个或两个以上命题联结而或的真值形式。构成析取式的支命题,称为析取支或析取项,用p、q、r等表示。析取式一般表示为pvq,读作“p析取q”。析取式的逻辑性质取决于“析取”这一真值..

命题(语言)

真值表方法(语言)

真值表方法(语言):用真值表定义逻辑联结词或判定真值形式真值的逻辑方法。如设p、q为命题变项,普通逻辑中不相容析取联结词”V”(表示”要么…要么…”),用真值表可定义为:当且仅当p和q不同真、不同假时,”pvq”为真。这一..

集合(语言)

集合(语言):简称“集”。逻辑学术语。现代逻辑把一些确定的、彼此不同的事物作为一个整体来考虑时,这个整体就叫做集合。组成一个集合的那些事物,叫做该集合的元素。如a是集合A的元素,就叫做a属于A,记为a∈A。“∈”是表示..

逻辑语义学(语言)

逻辑语义学(语言):①也叫“纯语义学”。研究语言表达式与表达式意义之间关系的科学。这里的意义,既包括表达式的所指或外延,又包括表达式的涵义或内涵。它围绕着什么是表达式的意义而展开对逻辑形式系统中符号解释的研究..