排序方式： 共有881条查询结果，搜索用时 31 毫秒
881.
本文的工作主要分为两部分．首先,我们把验证ｐｕｎｌｅｓｓｑ是否是ＵＮＩＴＹ逻辑的定理转化为一阶定理的验证．其次,设ｐ１ｕｎｌｅｓｓｑ１,…,ｐｎｕｎｌｅｓｓｑｎ在一ＵＮＩＴＹ程序Ｆ中成立．我们把验证ｐｕｎｌｅｓｑ在Ｆ中成立是否可由以上ｎ个性质得出转化为强推出的验证,其中强推出是本文引进的新概念． 相似文献