前件

前件，亦稱前提，是假言命题的前半部分。

例子:

• 如果 P，那么 Q。

这是假言命题的标准逻辑公式。在这种情况下，前件是 P。

• 如 X 是人，则 X 是必死的。

"X 是人" 是这个命题的前件。

• 如果人类已经在月亮上行走，那么我是法国国王。

这里的 "人类已经在月亮上行走" 是前件。

参见

• 后件
• 实质条件
• 充分条件