论文部分内容阅读
本文以命题真值代数的基本知识为依据，阐述种主要的数学证明方法：演绎法，完全归纳法，反证法，并反证法，数学归纳法。
试论推理格式与数学证明方法
【摘 要】
：
本文以命题真值代数的基本知识为依据，阐述种主要的数学证明方法：演绎法，完全归纳法，反证法，并反证法，数学归纳法。
【出 处】
：
开封大学学报
【发表日期】
：
1996年2期
其他文献
①无欲的生命是安静的。②我见过一匹马在槽枥之间的静立，也见过一头雄狮在草原上的静卧，甚至是一只鸟从一根斜枝扑棱棱飞到另一根斜枝上，呈现出的，都是博大的安静。
“废园”是20世纪40年代沦陷区上海文坛著名女作家施济美在烽火中国的感情栖息地与灵魂安定点，同时“废园”意识叉让作者在精神上处于激烈的矛盾中：寻求安定还是直面混乱，守望还
目的：探讨护理措施对髋关节置换术后静脉血栓形成的影响。方法：将40例实施全髋关节置换术（THA）的患者随机分为对照组和观察组,各20例。对照组采用常规护理措施,观察组在常规护理
甲型H1N1流感是由甲型H1N1流感病毒引起的一种新型呼吸道传染病,传染性极强。虽然大多数甲型H1N1流感患者病情较为温和,但部分患者病情发展迅速,可继发肺炎、急性呼吸窘迫综
叶圣陶先生曾经说过：“语文教材无非是个例子，凭这个例子要使学生能够举一反三，练成阅读和作文的熟练技能。”很长一段时问，我都认为语文教材例子说很经典。现在看来，语文教材例子
建设一支校报教工通讯员队伍可以稳定稿源,丰富校报内容,提高校报的知名度,强化学校各单位的宣传报道意识,更好地促进上情下达、下情上达.要建立规章制度,抓好业务培训,加强
利用ERA-interim再分析资料,统计分析了1986年1月1日—2015年12月31日不同生命史九龙涡的时空分布特征和活动规律。结果表明：持续1—2个时次的九龙涡（T_（1-2）JLV）和3—4个时次的九
为了构建一个适用于中低等规模高等院校的可伸缩、高可用性网络课程平台，讨论了将集群系统应用在网络课程中的可行性，并利用LVS搭建了简易的实验环境，采用Web Bench 4．01对其性能