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

Problem of MT in classical two-valued logical system

引入了最大前提的概念,研究了二值逻辑系统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.