自动控制网移动版

1.语法和语义
    谓词逻辑的基本组成部分是谓词、变量、函数和常量,并用圆括弧、方括弧、花括弧和逗号隔开。

2.连词和量词
    连词有∧(与)、∨(或),全称量词(),存在量词()。

3.几个有关定义
    用连词∧把几个公式连接起来而构成的公式叫做合取,而此合取式的每个组成部分叫做合取项。一些合适公式所构成的任一合取也是一个合适公式。
    用连词∨把几个公式连接起来所构成的公式叫做析取,而此析取式的每一组成部分叫做析取项。一些合适公式所构成的任一析取也是一个合适公式。
    用连词=>连接两个公式所构成的公式叫做蕴涵。称蕴涵的左式为前项,右式为后项。如果前项和后项都是合适公式,那么蕴涵也是合适公式
    前面具有符号～的公式叫做否定。一个合适公式的否定也是合适公式。
    如果一个合适公式中某个变量是经过量化的,则称这个变量为约束变量,否则为自由变量。称所有变量都是受约束的合适公式为句子。