首页
›
答案
›
题库
›
知到智慧树
›
未分类
在使用全称量词引入规则时,要求引入的常项c()出现在引入它的子证明的外面。
在使用全称量词引入规则时,要求引入的常项c()出现在引入它的子证明的外面。
A.不能
B.可以
C.有时能
D.有时不能
正确答案:不能
标签:
量词
全称
规则
上一条:
系统F不具有可靠性。()
下一条:
在使用存在量词消去规则时,要求引入的常项c()出现在引入它的子证明的外面。