前件

前件 （ antecedent ） ， 亦稱前提 ， 是假言命題的前半部分 。 例子 ： 如果P ， 那麼Q 。 這是假言命題的標準邏輯公式 。 在這種情況下 ， 前件是P 。 如X是人 ， 則X是必死的 。 X是人是這個命題的前件 。 如果人類已經在月亮上行走 ， 那麼我是法國國王 。 這裏的人類已經在月亮上行走是前件 。