直言推理系统

摘要：

本文构造了直言推理的一个系统MA,内容包括直接推理和三段论.但未考虑单称命题.此系统实际上是名辞逻辑系统MZ的子系统,精确地说是关于类名及其否定和由它们形成的本辞的系统.文中证明了系统MA的可靠性和完全性,并提出了它的自然推理系统.

关键词：名辞逻辑、规则DDO、公理系统、自然推理系统、从属推演、完全性

所属期刊栏目：1

分类号：B81(逻辑学(论理学))

在线出版日期：2009-03-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：50-61