Problem of MT in classical two-valued logical system
RU Yong-mei · 2005
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.