论文部分内容阅读
本文构造了直言推理的一个系统MA，内容包括直接推理和三段论，但未考虑单称命题。此系统实际上是名辞逻辑系统MZ的子系统，精确地说是关于类名及其否定和由它们形成的本辞的系统。文中证明了系统MA的可靠性和完全性，并提出了它的自然推理系统。
直言推理系统
【摘 要】
：
本文构造了直言推理的一个系统MA，内容包括直接推理和三段论，但未考虑单称命题。此系统实际上是名辞逻辑系统MZ的子系统，精确地说是关于类名及其否定和由它们形成的本辞的系统。
【机 构】
：
中国社会科学院哲学研究所
【出 处】
：
逻辑学研究
【发表日期】
：
2008年1期
其他文献
该文通过解析科学发展观的内涵意义，并结合大学服务社会的重要功能，论述了在现阶段高等院校应该致力于在科学发展观的指导下提升综合竞争能力，为地方经济社会发展贡献应有的力量
简要介绍国际疏浚物污染研究中的最新分析方法及研究趋势。
针对当前建筑设计中越来越多地采用幕墙作为体现建筑效果和幕墙工程从设计、施工到验收过程中的许多不规范、不合理、不安全的现状，本文从幕墙结构的设计、外形的设计、构造的
任务型语言教学模式作为英语教学中的新型教学模式,通过分析任务型教学模式组成要素,提出了一套网络环境下英语任务型教学模式结构框架、模式特点、教学策略以及该模式的实施