後件

後件是假言命題的後半部分 。 在這種命題的標準形式中 ， 它是在 “ 那麼 ” 之後的部分 。 例子 ： 如果P ， 那麼Q 。 Q是這個假言命題的後件 。 如果X是哺乳動物 ， 那麼X是動物 。 這裏的X是動物是後件 。 如果計算機可以思考 ， 那麼它們是活的 。 它們是活的是後件 。 請注意在假言命題中的後件不必須是前件的結論 。 如果猴子是橘子 ， 那麼魚說星際語 。 魚說星際語是這裏的後件 ， 但是很明顯的它不是 （ 或者沒有任何關係 ） 在前件中斷言的猴子是橘子的結論 。