勵志

勵志人生知識庫

肯定前件

肯定前件(Modus Ponens)是邏輯推理中的一個基本規則,其形式化表達如下:

如果 p,則 q(前提1)

p(前提2)

因此,q(結論)

這個規則表明,如果第一個前提為真,並且第二個前提也是真,那麼結論q也必然為真。肯定前件確保了如果條件語句的前件(p)為真,那麼結論(q)也必然為真,無論條件語句的後件(-> q)是否為真。