论文部分内容阅读
数理逻辑的初学者,对联接词"蕴含"存在着疑问,为什么"前件假,后件不论真假,都能推出结论真?".本文从不违反承诺(即约定)、合理性和等价命题的角度引入联接词"蕴含"的定义,使学生容易理解蕴含概念的正确性.
数理逻辑中联接词“蕴含”的引入方法
【摘 要】
：
数理逻辑的初学者,对联接词"蕴含"存在着疑问,为什么"前件假,后件不论真假,都能推出结论真?".本文从不违反承诺(即约定)、合理性和等价命题的角度引入联接词"蕴含"的定义,使
【机 构】
：
鹤壁职业技术学院,河南,鹤壁,458030
【出 处】
：
理科爱好者
【发表日期】
：
2009年4期
其他文献
在汉语当中没有和日语的授受动词相对应的表现形式.所以授受动词的正确使用对于以汉语为母语的日语学习者来说是一个难点.此外.正因为汉语当中没有相应的表达方式.尽管学习者
目前,在中国汽车市场上配备柴油发动机的车型日益增多,这是因为柴油发动机具有扭矩大、可靠性高、燃油经济性好、环保性能优异的特点,所以被一些追求高通过性和经济环保性能
采用间氨苯酚为原料,以四氢吡喃(THP)作羟基保护剂,以醋酸酐作酰基保护剂和氨基单取代的专一选择剂,以溴乙烷作烷基化试剂,硫酸二甲酯作甲基化试剂,在原有最优化合成工艺条件
目的 评价特步他林联合利巴韦林雾化吸入治疗小儿肺炎的疗效.方法 将临床确诊的70例小儿肺炎患儿随机分为两组,对照组30例在给予抗感染、吸氧、止咳、平喘等综合治疗的基础上
Batch processes have been increasingly used in the production of low volume and high value added products.Consequently,optimization control in batch processes i
This paper proposes a global stabilization method for a class of planar switched systems with input saturation constrains by using a state feedback and switchin
Recognition of the major scattering sources on complex targets based on the high frequency radar cro
Based on the high frequency (HF) integrated radar cross section (RCS) calculation approach,a technique of detecting major scattering source is developed by usin
在文化外交领域,日本起步较早、经验丰富,研究日本文化外交的过程与成效对于中国文化外交工作的开展有着现实的借鉴意义.本文的特点在于首先建构文化外交过程与成效的理论范
基于密度泛函理论框架下平面波赝势法的VASP软件包,根据任意给定的一个晶胞棱边长度在原胞内求解Kohn-Sham方程,在计算得到的4.05(A)这个晶格常数的基础上,分析计算了铝晶体
随着向量知识进入高中教材,用向量法解几何问题已经成为教师关注的热点问题.本文从与动点有关的几何问题入手,略举数例,探讨直接用向量基本性质和运算律的简便方法证明几何问