1.(每题2分,共10分)判断题(若正确,则在题前的括号中打√;否则,打): (a)()若合式公式A是永真式当且仅当合式公式B是永真式,则AB是永真式。 (b)()若合式公式A是可满足的,则~A是不可满足的。 (c)()v((,x)y~(,y)是可满足的 (d)()设P是一个由P系统增加单个合式公式pq作为公理所得到的系统,则P是协调的

教学内容： 1.总量指标的含义、种类、计量单位及其各种单位的特点 2.相对指标的含义、表现形式及种类 3.平均指标的内涵、作用、各种平均数的计算方法、应用场合 4.标志变异指标的含义、作用、种类及其计算 教学重点： 1.总量指标的种类 2.相对指标的种类及计算 3.平均指标的种类、计算及其应用场合 4.标志变异指标的作用、种类及其应用场合 教学难点：平均指标、标志变异指标的计算及其应用场合

第一节 概述 第二节 合成生产技术 第三节 C1化工 以甲烷为原料生产乙炔、合成气和氧化产物和以合成气为原料的合成氮、合成甲醇、合成液体燃料等

本章研究点的合成运动。分析点的速度合成和加速度合成的规律

第六章工程合金 第一节黑色金属 第二节有色合金 第三节精密合金(自学) 第四节特种金属材料(自学)

合金 两种或两种以上金属元素，或金属元素与非金属元素，经熔炼、烧结 或其它方法组合而成并具有金属特 性的物质 组元 组成合金最基本的独立的物质，通 常组元就是组成合金的元素

• 组合变形和叠加原理 • 拉伸或压缩与弯曲的组合 • 斜弯曲 • 扭转与弯曲的组合

人身保险合同概述 人身保险合同分类 �人身保险合同条款

 第一节 再保险合同性质  第二节 再保险合同义务的履行  第三节 再保险人对再保险被保险人的权利  第四节 再保险合同相关法律法规

 碱性（结构与碱性间的规律）  烃基化（季铵盐的制备）  酰化反应（伯、仲胺 ）  Hinsberg 反应及应用  与HNO2反应及应用  季铵碱的生成及 Hofmann 消除反应 (胺的结构推断)  胺类化合物的制备方法  胺类化合物的鉴别方法