“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期

一、教学目的（掌握、熟悉、了解的具体内容） (一)掌握中毒诊断方法和治疗原则。 (二)熟悉常见急性中毒的一般临床表现。 (三)了解一些常见中毒的发病机理及预防

第四节发动机总体构造 一、四冲程汽油机的一般构造(以东风EQ1090E型汽车为例 (一)机体组: 包括气缸盖3、气缸体11、 油底壳26。有的发动机将气缸 体分铸成上下两部分,上部称 为气缸体,下部称为曲轴箱。 机体的作用是作为发动机各 心 机构、各系统的装配基体,本 身许多部分又分比别是各机构 、各系统的组成部分。如气缸 盖、气缸体上钻的润滑油道是 润滑系统的组成部分,气缸盖 、气缸体上铸的冷却水套是冷 却系统的组成部分等

章名】第一章总则 第一条为了加强航空货物运输的管理,维护正常的航空运输秩序,根据中华人民共和国民用航空法的规定, 制定本规则。 本规则适用于出发地、约定的经停地和目的地均在中华人民共和国境内的民用航空货物运输。 第二条承运人应当按照保证重点、照顾一般、合理运的原则,安全、迅速、准确、经济地组织货物运输

第一讲资本主义生产 第一节货币转化为资本 第二节剩余价值的生产过程 第三节生产剩余价值的两种方法 第四节资本主义制度下的工资

一、向量距离(V-D)算法 （1)向量距离算法的两个基本要素 在向量距离算法中有两个基本的要素:一个向量,另一个为距离。这两个要素构成了动态路由表的基本元素结构

一、定义 各种原因引起的肠道炎症性疾病。 二、（广义） 通常 所说的 炎症性肠病是溃疡性结肠炎（ulcerative colitis UC）和克罗恩病(Crohn’s diaease CD)

一 伽利略变换式 经典力学的相对性原理 相对于不同参考系, 经典力学定律形式完全一样吗?

14-1伽利略变换式牛顿的绝对时空观 一、伽利略变换式 经典力学的相对性原理S系相对于S系以匀速沿轴运动,观察两参照系中同一事件的时空关系

10-1 若在正方形横截面短柱的中间开一槽，使横截面面积减少为原横截面面积的一半， 如图 10-13 所示。试问开槽后的最大正应力为不开槽时最大正应力的几倍?