1. 什么是假言推理
前提有个假言判断，并根据假言判断逻辑性质进行推演的演绎推理。
例如： 你是三号学生->你成绩好
你成绩不好->你不是三好学生
2.假言推理种类
（1） 假言推理三段论，由一个假言判断和一个简单判断作为前提构成的假言推理。
第一种：充分条件假言推理:大前提是充分条件假言判断的假言推理。
例如：如果周一，则需要去上班（大前提）。今天周一（小前提）->今天要上班。
逻辑规则： 肯前肯后，否后否前
A->B. A真->B真. B假->A假
（2）假言推理变形
A->B 变形
如果A，那么B
只有B，才A
非B->非A
非A 或 B 演绎过程：A->B ==假-> A且非B==>假-> 非A或者B
并非（A且非B）
除非 非A 否则B
所有A 都是B
（3）不相容选言，判定选言支中有一个并且只有一个为真的选言判断
逻辑结构： 要么P，要么Q，只有一项为真。
例如：小李要么是南方人，要么是北方人。
逻辑值： P且Q ->假
非P且非Q->假
非P且Q->真
P且非Q->真
负不相容选言：并非 （P且Q）。 即P和Q 同时为真，或者P和Q同时为假。
（4）相容选言 判断几种可能的事物至少一种存在
例如：小明是学生，或者是党员
逻辑：P 或者Q
逻辑值： P 或者Q ->真
非P 或者Q ->真
P 或者非Q ->真
非P 且非Q ->假
负相容选言：只有 非P且非Q 为真。
3 假言变形推理
（1）逆否推理
P->Q 逆否 ^Q->^P
简言之：肯前肯后，否后否前
（2）假言连锁推理
P->Q, Q->R => P->R
（3）等值兑换
P或者Q ->非P->Q
P->Q = 非P且Q