后件

后件是假言命题的后半部分。在这种命题的标准形式中，它是在“那么”之后的部分。

例子:

• 如果 P，那么 Q。

Q 是这个假言命题的后件。

• 如果 X 是哺乳动物，那么 X 是动物。

这里的 "X 是动物" 是后件。

• 如果计算机可以思考，那么它们是活的。

"它们是活的" 是后件。

请注意在假言命题中的后件不必须是前件的结论。

• 如果猴子是橘子，那么鱼说星际语。

“鱼说星际语”是这里的后件，但是很明显的它不是(或者没有任何关系)在前件中断言的“猴子是橘子”的结论。

参见

• 前件
• 实质条件
• 必要条件