前件

前件（antecedent），亦稱前提，是假言命題的前半部分。^[1]

例子：

• 如果P，那麼Q。

這是假言命題的標準邏輯公式。在這種情況下，前件是P。^[2]

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

X是人是這個命題的前件。

• 如果人類已經在月亮上行走，那麼我是法國國王。

這裡的人類已經在月亮上行走是前件。