宝鸡文理学院学报（自然科学版）
寶鷄文理學院學報（自然科學版）
보계문이학원학보（자연과학판）
JOURNAL OF BAOJI COLLEGE OF ARTS AND SCIENCE (NATURAL SCIENCE)
2005年
4期
265-268
,共4页
GMT问题%多重GMT问题%二值逻辑系统(L)%最大前提
GMT問題%多重GMT問題%二值邏輯繫統(L)%最大前提
GMT문제%다중GMT문제%이치라집계통(L)%최대전제
引入了最大前提的概念,研究了二值逻辑系统(L)中GMT及多重GMT规则的语构理论,实现了FMT问题的形式推理机制,最后给出了最大前提与根的关系,从而说明了MP与MT问题可互相转化.
引入瞭最大前提的概唸,研究瞭二值邏輯繫統(L)中GMT及多重GMT規則的語構理論,實現瞭FMT問題的形式推理機製,最後給齣瞭最大前提與根的關繫,從而說明瞭MP與MT問題可互相轉化.
인입료최대전제적개념,연구료이치라집계통(L)중GMT급다중GMT규칙적어구이론,실현료FMT문제적형식추리궤제,최후급출료최대전제여근적관계,종이설명료MP여MT문제가호상전화.
