古典命题逻辑与模态命题逻辑的自然推理系统之比较  

作　　者：姚从军[1] 

机构地区：[1]湖南科技学院两课部,湖南永州425100

出　　处：《湖南科技学院学报》2008年第9期74-76,82,共4页Journal of Hunan University of Science and Engineering

基　　金：2007年湖南科技学院重点科研项目"古典命题逻辑与模态命题逻辑的比较"(07XKYTA011)的研究成果之一。

摘　　要：模态命题逻辑的自然推理系统TN、S4N、S5N与古典命题逻辑的自然推理系统PN相比:形式语言有了扩张;推理规则增多,且相同推理规则的作用范围扩大;推出的定理数量增多;推理能力大大增强。

关 键 词：古典逻辑 模态逻辑 自然推理系统 

分 类 号：O14[理学—数学]