这个不是C语言里的概念，是离散数学里的。前件后件是同时存在的，一般表示成 前件→后件，这是一个命题（→称为蕴含词，这样的命题叫蕴含式），相当于说前面说的东西（前件）可以推出后面的东西（后件），但是这里的推出可以没有必然的联系，而且只有在前件为真后件为假的时候整个命题才为假，否则这个命题都为真。
