传统逻辑协调化、经典化和自动化的实现

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

摘要：摘要：传统逻辑主要指亚里士多德的三段论，它能否被一阶语言表达并被自动证明，长期以来是不清楚的。通过研究证明传统逻辑经典化（一阶语言表达和数理化）的障碍在于它的不协调性，进而消除了传统逻辑的不协调性，建立了改进的三段论推理的数学模型，同时改进了一阶逻辑，使之能够表达改进后的三段论。这些工作使得传统逻辑完全实现了协调化、经典化和自动化。

原文链接:http://www.cqvip.com//QK/91802A/201601/668634771.html

送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：传统逻辑 自动化 亚里士多德 cqvip 交流学习 三段论 一阶逻辑 自动推理 格岗尼图 部分量词