矢列演绎系统相关硕士博士期刊学术论文

人工智能的一个重要目的就是用计算机实现推理，而对推理规律符号化必须使用命题逻辑和一阶逻辑,本文介绍了关于命题逻辑的集合论解......