逻辑学)谁知到:《 蕴涵析取律》 是如何证明的

2019-08-13 作者:心理学   |   浏览(162)

  这是命题逻辑里的蕴含式。意思是说,前一个命题,可以推出后一个命题,这里涉及到假言命题的性质的问题。

  假言命题是由蕴涵词联结命题而构成的命题。它陈述某一命题存在是另一命题存在的(充分条件)。如果p,那么q 。 结构式为:

  其表达的意思就是:有p必有q,无p未必无q 。举例说明:如果过度砍伐森林(p),那么就会破坏生态平衡(q)。

  那没有过度砍伐森林(-p), 会不会出现破坏生态平衡的情形呢?当然可能啊,因为破坏生态平衡的原因有很多,所以:

  还是前面那句话无p未必无q,符号v的意思就是“或者”的意思,读作“析取”。如果p,那么q,能够推出,非p或者q。

逻辑学)谁知到:《 蕴涵析取律》 是如何证明的