一阶语言 L \mathcal{L} L的符号 变元符号（变量符号） 格式： x 1 , x 2 , . . . x_{1},x_{2},… x1​,x2​,... 含义：可以看作程序中的变量，或者表示每天的…

解释 定义：在命题逻辑中，我们需要对将命题中的复杂的语言符号转换成我们可以进行计算的逻辑公式，这个过程我们叫做解释，用符号 I I I表示解释的内容。 在一阶语言 L \mathcal{L} L中， L \mathcal…