假言三段論

假言三段論又稱假言推理 。 假言推理總是以假言判斷爲前提來進行推理的 。 在邏輯中 ， 假言三段論是服從下列形式的有效的論證: P → Q. Q → R. 所以, P → R. 在邏輯運算符記號中 換句話說 ， 這種論證陳述如果第一個蘊涵第二個 ， 並且第二個蘊涵第三個 ， 則第一個蘊涵第三個 。 假言三段論的一個例子: 如果我不能起牀 ， 則我不能上班 。 如果我不能上班 ， 則我不能得到報酬 。 所以 ， 如果我不能起牀 ， 則我不能得到報酬 。