後件

後件是假言命題的後半部分。在這種命題的標準形式中，它是在「那麼」之後的部分。

例子：

• 如果P，那麼Q。

Q是這個假言命題的後件。

• 如果X是哺乳動物，那麼X是動物。

這裡的X是動物是後件。

• 如果計算機可以思考，那麼它們是活的。

它們是活的是後件。

請注意在假言命題中的後件不必須是前件的結論。

• 如果猴子是橘子，那麼魚說星際語。

魚說星際語是這裡的後件，但是很明顯的它不是（或者沒有任何關係）在前件中斷言的猴子是橘子的結論。

參見

• 前件
• 實質條件
• 必要條件