《史记》上记载了陈胜年轻时候的一段故事:
陈涉少时,曾与人佣耕,辍耕之垄上,然久之,曰:“苟富贵,勿相忘!”佣者笑而应曰:“若为佣耕,何富贵也?”陈涉太息曰:“嗟乎!燕雀安知鸿鹄之志哉!”
这里,陈胜说的“苟富贵,勿相忘”,就是一个假言命题。这句话的意思是:假如我们中间有谁得到了富贵,那么就不要忘记在一起的伙伴。
假言命题也称条件命题。假言命题有两个子命题,一个称做前件,一个称做后件。假言命题是断定前件所反映的情况(以下简称前件)是后件所反映的情况(以下简称后件)的某种条件,或者说,假言命题是断定前后件之间有着某种条件联系。
假言命题反映着三种条件联系:充分条件、必要条件、充要条件(充分而且必要条件)。因此有三种假言命题:充分条件假言命题、必要条件假言命题、充要条件假言命题。
假言命题一般是由两个支命题构成。其中表示条件的支命题称做假言命题的前件,表示假言条件而成立的命题称做假言命题的后件。把前件和后件联结起来的词语叫假言命题的联结词,如“如果……那么……”。
假言命题也是有真假之分的。它的真假也像联言命题、选言命题那样取决于它的支命题的真假,但与联言命题、选言命题不同的是,假言命题中的支命题分成前件与后件,而假言命题的真假便是取决于前件和后件的真假情况。
逻辑是研究思维的形式规律,不涉及具体的经验问题,如:
如果喜鹊叫,就有客人到。
如果眼皮跳,就会倒霉了。
这两个命题采用了假言命题的形式,从科学角度看是一种迷信的说法,但从逻辑上讲,前一个命题告诉我们,喜鹊叫并且有客人到时,这个假言命题是真的;如果喜鹊叫,而客人不到,则这个假言命题是假的;至于喜鹊不叫时,不管客人是否到,这个假言命题都是真的。具体确定这个命题的真假不是逻辑的任务,而是具体的科学的任务。在这里我们可能注意到,与一般的常识不同,假言命题的前件、后件即使都是假的,整个假言命题仍然是真的。
如果公牛能生犊子,那么,男人也就能生孩子。
这个假言命题,前件“公牛能生犊子”显然是假的,后件“男人也能生孩子”也显然是假的,但将前件和后件用“如果……那么……”联结起来,整个假言命题却是真的。