31. 论条件命题_逻辑大全

下面我们要专门考察这些命题。然而，既然一个条件命题等价于一个推论——这样，当前提推出结论而不是结论推出前提的时候，一个条件命题就是真的——那么就等到论述推论时再进行这样的讨论。

然而应该注意，如果一个假言命题是由“如果，那么”这个连接词或某个与此等价的词联结两个直言命题构成的，这个假言命题就叫做条件的。因此应该说，“苏格拉底不教书，除非他是一个老师”是一个条件命题。因为它等价于“如果苏格拉底不是一个老师，那么苏格拉底不教书”。而且，每当两个命题由某个联结词联结起来，而整个命题等价于一个条件命题时，这个命题总是被称为假言的和条件的。

还应该注意，一个条件命题的真既不要求前件是真的，也不要求后件是真的。实际上，有时候，即使一个条件命题的各部分是不可能的，这个条件命题也是必然的，例如，“如果苏格拉底是一头驴，那么苏格拉底能够发出驴叫声。”