论证(Ⅲ)     

张明樑 《中学教研》1982,(3)

四全称命题特称命题在上一节,我们谈到一个条件命题将它的变项代换以常项后,得到一个能判断真假的命题.现在,还可用另一种方式从条件命题得到命题.1.全称命题特称命题(1)全称命题先从简单的例子说起,例如,(a) cos~2x sin~2x=1这是包含一个变项 x 的条件命题,任何的数  相似文献   

论证(Ⅵ)     

张明樑 《中学教研》1983,(1)

八、推理我们在第五节真值表(1982年第四期第41页)中,介绍了用真值表将论证的假设和结论都写列以后,在直观上看出一个命题的真假,确是一种极有效的方法,但是它并不能告诉人们所得到的结论是如何从假设推导出来,亦即它没有说明在推导中间的思维过程,为了弥补这一缺陷,可采用另一种处理论证的方法,这个方法是这样的:先选择一些常用的论证形式,把它们当作推理法则(或逻辑定理);然后,依据这些法则从一些已知的命题一步一步地推导出新的命题.以其它命题为基础建立一个命题的思维过程称之为推理或推论.  相似文献   

论证(Ⅱ)     

张明樑 《中学教研》1982,(2)

二、关于命题演算的法则上一节,我们已指出,为了使别人相信,某一判断(命题)而提出一些别人已经信服的判断(命题)来做证据或理由,这就是论证,叙述证据或理由的判断(命题)叫做假设,假设所支持的判断(命题)叫做结论,我们也提到,一个论证如果事实上不可能假设真与结论假,则论证成立(真);此时不管是否有人相信其假设而怀疑其结论,反之,一个论证,如果事实上可能假设真结论假则  相似文献   

《讲座》 论证(Ⅴ)     

张明樑 《中学教研》1982,(5)

七、充分条件,必要条件上一节,我们将一个蕴函式复合命题,通过对其真值表的剖析,派生出它的逆、否、逆否命题(也称为原命题的共轭命题),其中两组是两两等价的,大家知道,“若…,则….”是数学中最常用的逻辑表示式之一,本讲座就是以这种表示式为骨架,反复阐述  相似文献   

论证(Ⅳ)     

张明樑 《中学教研》1982,(4)

五、真值表我们在命题演算中已经看到一个命题可以形式地看作一个数学式子进行演算(1982年第二期第34页),并且在演算中使用了三种符号:  相似文献   

论证     

张明樑 《中学教研》1982,(1)

为了帮助读者加强基础知识的学习和提高,加强数学的逻辑性和严密性的训练,进一步提高教学质量,我们特约中国数学会科普委员会委员、杭州大学数学系张明樑付教授为本刊作《论证》基础知识讲座,于1982年第1期起连续刊出。欢迎读者就文章的深浅程度及具体要求提出建议,以便使《论证》的内容更切合读者的实际。  相似文献