在邏輯學中,前件和後件是假言命題的兩個組成部分。
前件(antecedent)是假言命題中條件的判斷,它規定了後件成立的條件。在前件為真的情況下,後件才可能為真。
後件(consequent)是以前件為條件的判斷,它是在前件為真的情況下成立的判斷。
在不同的假言命題中,前件和後件的表示方式有所不同:
在充分條件假言命題中,聯結詞「如果」後的支命題是前件,「那麼」後的支命題是後件。
在必要條件假言命題中,聯結詞「只有」後的支命題是前件,「才」後的支命題是後件。
在充分必要條件假言命題中,聯結詞「若且唯若」前的支命題是前件,「若且唯若」後的支命題是後件。
前件和後件的概念在邏輯推理中非常重要,它們幫助我們理解和分析條件語句的真值關係。