论文部分内容阅读
随着新句法机制的引入，逻辑图的表达能力不断得到提高：文恩图在表达能力上等价于不带等词的一元一阶逻辑，蜘蛛图等价于带等词的一元一阶逻辑，而建立在约束图基础上的“可视一阶逻辑”被证明具有一阶谓词逻辑的表达能力。研究逻辑图表达能力的一个重要意义在于．图式逻辑可能有望为一阶逻辑产生重要的可判定片段。
论逻辑图的表达能力
【摘 要】
：
随着新句法机制的引入，逻辑图的表达能力不断得到提高：文恩图在表达能力上等价于不带等词的一元一阶逻辑，蜘蛛图等价于带等词的一元一阶逻辑，而建立在约束图基础上的“可视一阶逻
【机 构】
：
中国社会科学院哲学研究所
【出 处】
：
毕节学院学报：综合版
【发表日期】
：
2012年8期
其他文献
为保证COTS（Cormnercial off-the-shelf）器件成功应用于我国高可靠的航天产品中，本文总结分析了国内外空间应用COTS器件的发展情况，提出了空间应用COTS器件的可靠性保证总体思路．
由于数字硬盘录像更符合当前信息社会中数字化、网络化和智能化的发展趋势,所以数字视频监控正在逐步取代模拟监控,广泛应用于各行各业.随着人们对图像质量的要求越来越高,对
随着现代高性能通用处理器结构的不断发展，处理器的性能分析已经变得越来越困难．基于大工作负载和单纯依靠模拟器的性能分析方法复杂度高，且难以直观地反映微体系结构特征．本文针
TC-615解码器是新一代的监控产品，配合天财TC8000系列矩阵控制器使用。TC-615解码器不仅接线简单、功能齐全、兼容性强，更具有现场脱机自测和现场编址的独特能力，是各类监控工程
孔子的言语交际观主要体现在信言观、慎言观、辞达观、美言观和语境观等五个方面。信言观是指在言语交际活动中言语要诚信;慎言观是指说话要谨慎;辞达观是语言表达要准确;美
本文对基于TSM的压电免疫传感器的起源进行了回顾，指出了Sauerbrey方程的局限性，分析、讨论了敏感膜粘弹特性、测试溶液的粘滞性以及测试溶液的电导率和介电常数对压电免疫传感
本文提出了一种新的应用于宽带导抗谱频率参数量化的转换分类乘积码锥形矢量量化方案．该量化器基于转换分类与乘积码锥形矢量量化原理，首先对待量化的ISF参数矢量进行分类，然后
摘 要：教育不管怎么改革，具体落实者还是教师，不改变教师，课程改革和质量的提升都举步维艰！学校最好的资源是教师，拥有专业精神、专业技艺的老师是学校的“抢手”资源。用专业的思想和技能处理教育教学中的问题，处理师生关系。 關键词：教师；教育；成长；思考 我认为，学校目前存在两个现状，一是教学现状：课堂教学效率不高，“教”缺乏针对性；“学”缺乏学法指导，对学生课堂管理不够，学生习惯养成教育不够；在三
本文对超宽带发射参考技术在时分多址方式和传统脉冲对结构下对高数据传输速率造成的符号间干扰模型进行了分析,证明其属于二阶符号间干扰系统,系数由波形相关矩阵决定，在此模