假言三段论

假言三段论又称假言推理。假言推理总是以假言判断为前提来进行推理的。 在逻辑中，假言三段论是服从下列形式的有效的论证: P → Q.Q → R.所以, P → R. 在逻辑运算符记号中 换句话说，这种论证陈述如果第一个蕴涵第二个，并且第二个蕴涵第三个，则第一个蕴涵第三个。假言三段论的一个例子: 如果我不能起床，则我不能上班。如果我不能上班，则我不能得到报酬。所以，如果我不能起床，则我不能得到报酬。