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