河北大学学报(自然科学版) ›› 2003, Vol. 23 ›› Issue (4): 422-424.DOI: 10.3969/j.issn.1000-1565.2003.04.021
• • 上一篇 下一篇
刘大中,董克诚
出版日期:
发布日期:
Online:
Published:
摘要： 学习NDPI (Nature Deduction Predicate Intuitionistic)[1]时,自然会提出这样的问题:如何证明判断"P∨┑P(P是一个命题)"在该系统中是不可证的?本文就回答这个问题.
关键词: 谓词演算, 自然演绎型, 判断, 坚钦型, 直觉主义逻辑
中图分类号:
O141.1
刘大中,董克诚. 一阶谓词演算自然演绎型直觉主义系统NDPI[J]. 河北大学学报(自然科学版), 2003, 23(4): 422-424.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: //xbzrb.hbu.edu.cn/CN/10.3969/j.issn.1000-1565.2003.04.021
//xbzrb.hbu.edu.cn/CN/Y2003/V23/I4/422
