假言推理就是以假言判断为大前提，并根据假言判断前、后件的关系进行推演的复合判断推理。
根据假言判断的不同，可以分为充分条件假言推理、必要条件假言推理和充分必要条件假言推理。
充分条件假言推理
以充分条件假言判断为大前提，并根据充分条件假言判断前、后件的关系进行推演的复合判断推理。
规则：
（一）肯定前件就要肯定后件，否定前件不必然否定后件。
（二）肯定后件不必然肯定前件，否定后件就要否定前件。
根据这两条规则，可以推出四种形式：
（一）肯定前件式
以充分条件假言判断为大前提（如果P，那么Q），
以小前提肯定大前提的前件（P），
结论则肯定大前提的后件（所以，Q）。
如果他是学生，就一定有同学，
他是学生，
所以，他一定有同学。
一旦长期熬夜，后果就很严重，
小明长期熬夜，
所以，后果很严重。
（二）肯定后件式（无效）
以充分条件假言判断为大前提（如果P，那么Q），
以小前提肯定大前提的后件（Q），
结论则是对大前提的前件的肯定（所以，P）。
如果他是老师，就一定有教师资格证，
他有教师资格证，
所以，他是老师。（不一定，有证，还要通过考试才能成为老师。）
一旦路上堵车，上班就会迟到，
上班迟到，
所以，路上堵车。（不一定，迟到有多种原因）
根据规则（二），肯定后件不必然肯定前件，推理无效。
（三）否定前件式（无效）
以充分条件假言判断为大前提（如果P，那么Q），
以小前提否定大前提的前件（非P），
结论则是对大前提的后件的否定（所以，非Q）。
如果他是老师，就一定有教师资格证，
他不是老师，
所以，他一定没有教师资格证。（不一定，可能有证，但不是老师。）
一旦路上堵车，上班就会迟到，
路上没堵车，
所以，上班一定没迟到。（不一定，可能因为其他原因迟到）
根据规则（一），否定前件不必然否定后件，推理无效。
（四）否定后件式
以充分条件假言判断为大前提（如果P，那么Q），
以小前提否定大前提的后件（非Q），
结论则是对大前提的前件的否定（所以，非P）。
如果他是老师，就一定有教师资格证，
他没有教师资格证，
所以，他不是老师。
一旦下暴雨，就要发布气象预警信息，
没有发布气象预警信息，
所以，没下暴雨。