在线名词解释大全
专业、全面、易懂的全领域名词百科
首页
>
谓词演算公式的闭包﹡
>
详细
谓词演算公式的闭包﹡
题型：简答题
所属分类：数学
正确答案：[]
名词解析
谓词演算公式的闭包名词解释：一种闭公式.设α为一谓词演算公式,x
1
,x
2
,…,x
n
为α中所有的自由变元,则公式(x
1
)(x
2
)…(x
n
)α称为α的闭包.