约束变元的改名规则

约束变元的改名规则 谓词公式中约束变元的名称是无关紧要的,(∀x)P(x)和(∀y)P(y)具有相同的意义。 需要时可以改变约束变元的名称。 但必须遵守以下改名的规则。 (1)欲改名之变元应是某量词作...
阅读全文

谓词逻辑的合式公式

(1)原子谓词公式是合式的公式; (2)若A是合式的公式,则﹁A也是合式的公式; (3)若A和B都是合式的公式,则A∧B,A∨B,A→B,A↔B也都是合式的公式; (4)如果A是合式的公式,x是任意变...
阅读全文

个体与谓词的区别

个体与谓词的区别 原子命题中,所描述的对象称为个体;用以描述个体的性质或个体间关系的部分,称为谓词。 个体,是指可以独立存在的事物。它可以是抽象的概念,也可以是一个具体的实体。如计算机,自然数,智能,...
阅读全文

重言式的特点特征

重言式的特点特征 (1)重言式的否定是一个矛盾式,一个矛盾式的否定是重言式,所以只研究其中之一就可以了。 (2)重言式的析取,合取,单条件,双条件都是重言式。于是可由简单的重言式推出复杂的重言式。 (...
阅读全文

真值表的构成与约定

设A为一命题公式,对其中出现的命题变元做所有可能的每一组真值指派S,连同公式A相应S(A)的取值汇列成表,称为A的真值表。 一个真值表由两部分构成。 (1)表的左半部分列出公式的每一种解释。 (2)表...
阅读全文

常用的6种逻辑联结词

常用的6种逻辑联结词 联结词是逻辑联结词或者命题联结词的简称,它是自然语言中连词的逻辑抽象。有了联结词,就可以通过它和原子命题构成复合命题。常用的逻辑联结词主要包括以下6种。 (1)联结词“非”,记为...
阅读全文