10.3969/j.issn.1001-5973.1999.03.014
命题逻辑讲真不讲假
@@ 命题逻辑以复合命题及其推理为主要内容,命题推理是以相应复合命题的逻辑性质为依据而推演的,复合命题的逻辑性质主要体现在命题与支命题之间的真假制约关系方面,因此,研究命题与支命题的真假关系是命题逻辑的基本内容.应当指出,逻辑学所揭示的全部关于复合命题的真假规律,都是基于这样一个前提而存在的,即假设某种命题的逻辑关系为真.如假设联言命题各支命题间确实存有联言关系,而后才有了联言命题的真假规律;假设选言命题各支命题间确实存有选言关系,而后才有了选言命题的真假规律;假设假论题前后件间确实存有假定关系,而后才有了假言命题的真假规律.以二支命题(p、q)为例,只有假定p与q之间的某种逻辑关系为真,然后才产生出p与q的各种真假组合对命题真假的制约规律.反过来,这些真假规律只适用于p与q之间的逻辑关系为真的情况,它们只对一个假定为真的相关复合命题起作用.这就是说,命题逻辑研究真假,只是从某种逻辑关系为真的角度去研究的,而不考虑某种逻辑关系为假时的情形.显然,当某种逻辑关系不成立(即为假)时,命题逻辑所总结出的那些真真假假就不再适用了.因此,命题逻辑讲真假只是设命题为真时谈真假,却不设命题为假时谈真假,此所谓讲真假却只讲真不讲假.
命题逻辑
44
O141;TP301;TP181
2006-09-04(万方平台首次上网日期,不代表论文的发表时间)
共2页
66-67