断了那些没必要的关系

因果推断中的必要条件是逻辑推理的条件是有限的。

要想At推B，B是A的基础、A源于B这种，是不是就是B是A的必要条件，没有B就没有A，非B→非A。一个命题和他的逆滚核否命题是等价的，也就意味着A→B。

逻辑推理的条件是有限的，而在任何一个因困前果关系中，“条件”实际上是无限的。在逻辑推理中，有时一个条件即可推出一个结论，有时多个条件才能推出一个结论。但即使多个条件推出一个结论，这些条件的个数也都是有限的。

假言推理

充分条件假言推理的基本原则是：小前提肯定大前提的前件，结论就肯定大前提的后件；小前提否定大前提的后件，结论就否定大前提的前件。

如果一个数的末位是0，那么这个数能大尺掘被5整除；这个数的末位是0，所以这个数能被5整除；如果一个图形是正方形，那么它的四边相等；这个图形四边不相等，所以，它不是正方形。两个例子中的大前提都是一个假言判断，所以这种推理尽管与三段论有相似的地方，但它不是三段论。