约束变元﹡的名词解释

【约束变元﹡名词解释如下】

公式名词解释：
数理逻辑术语.指具有一定形式的表达式.其归纳定义如下名词解释：

1.原子公式是公式.
2.如果α,β是公式,则α,α∨β,α∧β,α≡β是公式.
3.如果x是个体变元,α是公式,则(x)α,(x)α均是公式.
4.只有根据1,2,3给出的表达式才是公式.
含有自由变元的公式称为开公式.例如,设R为二元谓词,公式(x)R(x,y)含有自由变元y为开公式.不含自由个体变元的公式称为闭公式或语句.例如,设R为二元谓词,则公式(x)(y)R(x,y)是闭公式.

相关阅读：