| 经典二值逻辑系统(L)中的MT问题 |
| |
| 引用本文： | 刘东利,茹永梅. 经典二值逻辑系统(L)中的MT问题[J]. 宝鸡文理学院学报(自然科学版), 2005, 25(4): 265-268 |
| |
| 作者姓名： | 刘东利 茹永梅 |
| |
| 作者单位： | 陕西师范大学,数学与信息科学学院,陕西,西安,710062 |
| |
| 摘 要： | 引入了最大前提的概念,研究了二值逻辑系统(L)中GMT及多重GMT规则的语构理论,实现了FMT问题的形式推理机制,最后给出了最大前提与根的关系,从而说明了MP与MT问题可互相转化.
|
| 关 键 词： | GMT问题 多重GMT问题 二值逻辑系统(L) 最大前提 二值逻辑系统 问题 system 相转化 关系 推理机制 理论 语构 规则 研究 最大前提 |
| 文章编号： | 1007-1261（2005）04-0265-04 |
| 收稿时间： | 2005-03-28 |
Problem of MT in classical two-valued logical system |
| |
| LIU Dong-li,RU Yong-mei. Problem of MT in classical two-valued logical system[J]. Journal of Baoji College of Arts and Science(Natural Science Edition), 2005, 25(4): 265-268 |
| |
| Authors: | LIU Dong-li RU Yong-mei |
| |
| Abstract: | 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. |
| |
| Keywords: | problem of GMT problem of collective GMT two-valued logical system L maximal premise |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
