经典二值逻辑系统L中的MT问题  

Problem of MT in classical two-valued logical system

作　　者：刘东利[1] 茹永梅[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《宝鸡文理学院学报（自然科学版）》2005年第4期265-268,共4页Journal of Baoji University of Arts and Sciences(Natural Science Edition)

摘　　要：引入了最大前提的概念,研究了二值逻辑系统L中GMT及多重GMT规则的语构理论,实现了FMT问题的形式推理机制,最后给出了最大前提与根的关系,从而说明了MP与MT问题可互相转化。This paper proposes the concept of maximal premise, investigates problems of syntactical theory about GMT and collective GMT in tow-valued logical system .L, and makes formal reasoning of FMT be true. Finally, the relation between the maximal premise and root is provided. And therefore, the problem of mutual transition between MP and MT is proved.

关 键 词：GMT问题 多重GMT问题 二值逻辑系统(L) 最大前提 

分 类 号：O141.1[理学—数学]