在线名词解释大全 - 谓词演算公式的闭包 - 详细

谓词演算公式的闭包﹡

谓词演算公式的闭包名词解释:一种闭公式.设α为一谓词演算公式,x1,x2,…,xn为α中所有的自由变元,则公式(x1)(x2)…(xn)α称为α的闭包.

相关推荐
扫描二维码
关注公众平台