一阶逻辑推理系统中有关量词推理规则的研究

著录项

• 来源
  《湖南师范大学自然科学学报》 |2017年第3期|89-94|共6页
• 作者

  王文龙; 张博锋;

  展开▼
• 作者单位

  喀什大学计算机科学与技术学院;

  上海大学计算机工程与科学学院;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 理论、方法;
• 关键词

  一阶逻辑; 全称量词; 存在量词; 推理规则; 成立条件;