合式公式

Question

如题所述

Answer 1

关于合式公式介绍如下：

1、命题公式是由命题常项、命题变项、联结词、括号等组成的符号串，但不是由这些符号任意组成的符号串都是命题公式。因此，必须给出命题公式的严格定义。

2、合式公式，又称谓词公式，是一种形式语言表达式，即形式系统中按一定规则构成的表达式。按照模型论中一种通行习惯。语言F中的合式公式定义如下：原子公式是合式公式；若φ和ψ是合式公式，则(φ∧ψ)及(ᒣφ)是合式公式；若φ是合式公式，而x是变元,则(ᗄx)φ是合式公式。

3、为了避免公式中有些变量既可以约束出现，又可自由出现的情形，可采用以下两条规则。改名规则：将谓词公式中出现的约束变量改为另一个约束变量，这种改名必须在量词作用域内各处以及该量词符号中进行，并且改成的新约束变量要有别于改名区域中的所有其他变量。

4、代替规则：对公式中某变量的所有自由出现，用另一个与原公式中的其他变量符号均不同的变量符号去代替。我们会逐渐进入命题逻辑的形式讨论:我们对命题只注意其命题形式,对联结词只注意其逻辑意义。