假言三段论

假言三段论又称假言推理。假言推理总是以假言判断为前提来进行推理的。

在逻辑中，假言三段论是服从下列形式的有效的论证:

P → Q.

Q → R.

所以, P → R.

在逻辑运算符记号中

${\displaystyle p\rightarrow q}$

${\displaystyle q\rightarrow r,}$

${\displaystyle \vdash p\rightarrow r}$

换句话说，这种论证陈述如果第一个蕴涵第二个，并且第二个蕴涵第三个，则第一个蕴涵第三个。假言三段论的一个例子:

如果我不能起床，则我不能上班。

如果我不能上班，则我不能得到报酬。

所以，如果我不能起床，则我不能得到报酬。