因为——它确实就是真的。

　　这段话的本意，是要告诉你：条件命题的真值表，并非天生如此；而是人为规定的。那为什么这样规定呢？——因为只有这样规定，才最符合人们的思维规律。

　　1.2.4其实就是1.2.3的符号表示。对于1.2.3：

　　　　对于所有实数x，若x＞0，则x²＞0；

　　这是一个命题。原文中有这样一句话“大多数的读者都同意命题……”。其实这句话就是在默认：命题1.2.3是一个真命题——这也是最符合人们的思维规律的一种判断。——难道你不认为这句话是真的吗？

　　我们在做这个判断时，已经将x的所有取值都考虑过了——并仍然认为这句话是真的。显然：x的某些取值，将导致该命题中的前提p，为假——这是事实。但即使如此，命题1.2.3仍然是真命题。

　　这个例子就说明：条件命题为真命题时，是允许其前提为假的。关键是：对于绝大多数条件命题，都是如此。所以，为了迎合人们的这种思维规律，必须将形式逻辑的条件命题定义成这个样子。

　　至于这种思维规律的深层原因，就是语言学的问题了。所谓条件命题，其实就是由某些“假设关系连词”联结的复合句。这类连词有：

　　如果……就……、若……则……、只有……才……、假如……那么……、除非……否则……

　　条件命题，就是在这类复合句的基础上归纳、抽象出来的。人们在使用这类连词时，通常是强调前提为真时，结论的情况。而对前提为假时，则未作判断。

　　严格地说，如果未做判断，那么结果就应该是未知的，即：这句话的真假是不确定的。但是一来，如果一个句子的真假无法确定，那它就不是命题了；二来，在日常交流中，没有人会因为假设复合句的前提为假，而认为这句话就是假的。随便举个例子：

　　甲说：如果明天下雨，那我就在家待着。

显然，第二天的实际情况不外乎以下4种：

　　①、下雨，在家待着；

　　②、下雨，没在家待着；

　　③、没下雨，在家待着；

　　④、没下雨，没在家待着；

我问你：在哪种情况下，你会认为甲自食其言了。显然只有②。因此，条件命题也只能这样定义。