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.
引入了最大前提的概念,研究了二值逻辑系统L中GMT及多重GMT规则的语构理论,实现了FMT问题的形式推理机制,最后给出了最大前提与根的关系,从而说明了MP与MT问题可互相转化。
参考来源 - 经典二值逻辑系统L中的MT问题·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐