跳转到内容

Advertising:

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

因为以下原因，您没有权限编辑该页面：

您请求的操作仅限属于该用户组的用户执行：用户

您可以查看和复制此页面的源代码。

[[分类:谓词逻辑]]
{{InfoBox
|name=闭公式
|eng_name=closed formula
|aliases=闭式
}}
'''闭式'''('''closed formula''')指不含有[[量词|自由变项]]的[[谓词公式]]。
也就是说，在一个闭式中，所有变项的出现都必须在某个量词的辖域中。


{{谓词逻辑}}

该页面使用的模板：

模板:InfoBox（查看源代码）
模板:谓词逻辑（查看源代码）

返回闭式。

检索自“https://knowledge.gsxab.top/wiki/闭式”

Advertising: