论文部分内容阅读
引入了最大前提的概念,研究了二值逻辑系统（L）中GMT及多重GMT规则的语构理论,实现了FMT问题的形式推理机制,最后给出了最大前提与根的关系,从而说明了MP与MT问题可互相转化.
经典二值逻辑系统中L的MT问题
【摘 要】
：
引入了最大前提的概念,研究了二值逻辑系统（L）中GMT及多重GMT规则的语构理论,实现了FMT问题的形式推理机制,最后给出了最大前提与根的关系,从而说明了MP与MT问题可互相转化.
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
宝鸡文理学院学报：自然科学版
【发表日期】
：
2005年4期
其他文献
【正】 前空翻三周,将成为技巧一系列精彩组合的主要部分。这些”绝技”在技巧运动中的必要性已显得日益迫切。十全十美的前空翻三周的教法目前还没有。以下的一些体会不一定
【正】 中国田径协会教练员委员会要短跑组着重研究、讨论有关短跑方面的一些问题。我收集一些情况和近年来短跑集训讨论、分析过的一些问题,并在1985年全国田径教练员年会上
链接技术是HTTP协议及万维网浏览器为人们提供的一种超媒体、超时空的信息接续方式,使得我们可以方便地邀游于浩如烟海的互联网信息流中,被称为互联网上的导航工具与路标.在
小林是一名程序员,自2001年大学毕业后一直从事软件开发工作.最近一年来,他的心中总是有种越发强烈的失落感和挫折感.因为心情不好,近来身体状况也出现不适,常常感到乏力、头
随着计算机、互联网、电子商务等新技术的应用和发展，信息时代的来临从根本上改变了人们的生活方式，使人们的生活水平和生活质量得到迅速提高。然而，随之而来却是人们的工作负担
<正> 大家知道,随着年龄的增加,肌肉力量自然而然地增加。在性成熟期,身体发育加快,导致肌力量指标明显增加。根据科罗布科夫的材料(1958),各种肌群力量的增加,按体重1公斤折
索尼首席执行官霍华德·斯金格（Howard Stringer）在2006年9月22日举行的索尼数字音乐MP3发布会上宣布将在2008年3月前裁员1万人。
【正】 一、前言正手攻球或拉弧圈球这一技术,是直式握拍法运动员在比赛中力争抢先上手,攻击对方的主要得分手段,也是衡量运动员技术水平高低的主要标志。因此许多教练员及学