论文部分内容阅读
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样，都是三真一假的真值表，但含义却不尽相同。
互逆真蕴涵的建立过程为何要这样定义
【摘 要】
：
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样，都是三真一假的真值表，但含义却不尽相同。
【机 构】
：
北京联合大学信息技术研究所,北京联合大学信息学院
【出 处】
：
毕节学院学报：综合版
【发表日期】
：
2006年6期
其他文献
教师职业是一种实践性很强的职业，教育科学所揭示的教育规律、总结出的教育教学方法只有经过师范生的教育实践，才能转变为他们从事教育工作的实际能力。因此，教育实践是高等师范
介绍了基于WinCC和Step7的S7—400H冗余系统的软件配置和组态方法。进一步分析了S7-400H冗余系统的工作过程。对Step7和WinCC软件的使用方法作了说明。
在线课程资源建设过程中,教学录像是主要的数字化学习资源,形式多样、内容精彩的教学录像,可以提高学生的学习兴趣,改进学生的学习效果。本文介绍常用的教学录像的设计和制作
采用文献资料、问卷调查、访谈法，对贵州4所高校的研究生进行了体育锻炼现状调查。调查结果显示，在读研究生体育锻炼现状令人担忧，体质下降，研究生的体育锻炼场地、经费、体育组
通过介绍冷却液的组成和作用，研究和验证了冷却液中氯离子含量与玻璃器皿腐蚀之间的关系。试验表明，氯离子含量较高的冷却液对玻璃器皿试片的腐蚀较为严重，这也从侧面说明了氯离
环境监测是一种典型的传感器网络应用,主要实现了一种基于无线传感网络的环境监控系统,提出了传感器节点-基站-服务器-用户四层结构。设计了硬件实验平台,移植了TinyOS操作系统,并重点介绍了多跳路由协议、链路估计算法以及应用程序的实现。最后,对系统功能进行了总结,提出了进一步改进的方案。
RSView32是一种可集成、基于人机接口界面组件、用于监控自动化设备及过程的组态软件。退火是铝箔生产的一个重要环节，而影响铝箔退火质量的关键因素是炉温的均匀性。首先介绍