必要条件推理

小故^①,有之^②不必然^③,无之必不然。(《经说》)

【注释】　①小故：小的原因或条件。“故”表示事物产生的原因或条件。②之：指某条件。③然：指某结果。
【译文】　小的条件是指，有这个条件存在，不必然产生某个结果，没有这个条件存在，则必然不会产生某个结果。
【评说】　在推论过程中，结论依赖于前提。逻辑中的这种依赖关系，是客观世界中的因果关系的反映。一个现象之所以产生的条件和原因，《墨经》称之为“故”。
这里说的“小故”就是现代逻辑学中的“必要条件”:没有这个条件就必然不会产生某个结果，而有了这个条件，会不会产生某个结果是不一定的。例如：无点不成线，但是有点未必成线。
在必要条件假言推理中，如果没有某个条件作为前提，就必然推不出某个结论；但是有了这个条件作为前提，能否推出某个结论并不一定。例如：从大前提“只有年满十八岁，才能获得选举权”和小前提“张三没有到十八岁”,必然可以推出“张三没有选举权”这个结论。但是却不能从小前提“张三已经年满十八岁”必然地推出“张三有选举权”的结论，这说明“年满十八岁”只是获得选举权的必要条件。