查看“︁闭式”︁的源代码

[[分类:谓词逻辑]]{{DEFAULTSORT:bi4shi4}}
{{#seo:
|keywords=闭式, 闭公式, 闭合公式
|description=在谓词公式中，不是所有的公式都能直接赋予命题语义，因为其中可能存在个体变项的自由出现，无法特定指称某个个体对象。因此定义不含有这种出现的公式为闭式。闭式可以被解释为命题。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2023-09-02
}}
{{InfoBox
|name=闭式
|eng_name=closed formula
|aliases=闭公式,闭合公式
}}
'''闭式'''('''closed formula''')指不含有[[自由变项]]的[[谓词公式]]。
也就是说，在一个闭式中，所有[[个体词（谓词逻辑）|个体变项]]的出现都必须在一个作用于这一变项的[[量词]]辖域中。
不是闭式的谓词公式，也就是含有自由变项的谓词公式，称为'''开语句'''。

谓词公式中，不是所有的公式都能直接赋予命题语义，因为其中可能存在个体变项的自由出现，无法特定指称某个个体对象。
因此定义了闭式概念，指消除这些自由出现的公式，这样保证满足闭式条件的公式可以被解释为命题。


{{谓词逻辑}}