论文部分内容阅读
本文列举了逻辑演算中的各种联结词,对这些联结词所构成的完备集进行了较为详尽的讨论,给出了证明,同时对不完备的联结词集合也给出了一般的证明方法.
联结词的完备集
【摘 要】
：
本文列举了逻辑演算中的各种联结词,对这些联结词所构成的完备集进行了较为详尽的讨论,给出了证明,同时对不完备的联结词集合也给出了一般的证明方法.
【机 构】
：
苏州大学计算机工程系
【出 处】
：
苏州大学学报(自然科学)
【发表日期】
：
1989年01期
其他文献
现代隐喻理论认为隐喻不仅是一种语言层面上的修辞手法,从本质上讲,它是人类思维活动的基本工具。通过隐喻,我们可以用一些熟悉的具体概念去认知一些抽象的概念。我们的概念
中小企业在经济生活中的重要地位和自身的脆弱性要求立法者对其给以更多的关注.而公司法本身的发展和完善,也要求其引入"规模调整"的意识,对不同发展阶段和不同规模的企业加
本文研究对象为延边朝鲜族大学生的英语朗读语调,二语受试者是以朝鲜语为第一语言及(大学前)受教育语言的朝鲜族大学生；研究的理论依据为Halliday(1967)的语调三重系统理论：调
舰船上层建筑后方产生湍流尾流场会对舰载直升机的操纵产生严重威胁。采用CFD方法对舰船空气尾流场的特性进行分析研究，突破了雷诺时均方法的局限性，使用分离涡模拟（DES）方法求解
英语阅读教学研究一直是语言学家和外语教师们的关注焦点。因为阅读能力的培养在各项英语应用能力的培养中具有优先地位,所以培养大学生的英语阅读能力成为大学英语教学的一
1988年4月19日,笔者在托县古城村云中故城遗址西门外约50米、一田间灌渠的出口处,发现一约30多平方米的古代陶器残片堆积。其中发现一件印有“云中”字样的陶罐底部,直径6.3
常常会有体育教师感叹：小学一年级的学生好难教啊。为什么难教？因为一年级新生就像一个新的“产品”需要从零开始设计、塑形、打磨，比较费心。不像高年级，有了一定的基础，哪怕零基
Fungi isolated from mangrove rhizosphere soil of the South China Sea were investigated for the production of potential antifungal metabolites. With 28 fungal is