假言推理是前提中至少有一个假言判断并根据其前后件间的逻辑关系性质得出结论的推理。有三种类型：
一、充分条件假言推理
充分条件假言推理的结构是：大前提是充分条件假言判断，小前提和结论是性质判断。根据充分条件假言判断前后件之间的真假制约关系，充分条件的假言推理有两条规则：
（一）肯定前件要肯定后件，否定后件要否定前件。
（二）否定前件不能否定后件，肯定后件不能肯定前件。
根据上述规则，充分条件假言推理有两个正确形式：
1.肯定前件式：即由肯定充分条件假言判断的前件推出肯定的后件。逻辑形式为：
p→p
∴例如：
若某人是画家，则他是艺术家，
李可染是一位画家；
故，李可染是一位艺术家。
2.否定后件式：即由否定充分条件假言判断的后件推出否定的前件。逻辑形式为：
p→∴p
例如：
自然数末位为0时，它可被5整除，
这个自然数现在不能被5整除；
所以，这个自然数的末位不是0.
下面的推理有违规则，所以不是正确的推论：
如果得了肺炎，就会发烧，
这个儿童现在发烧了；
所以，这个儿童得了肺炎。
发烧的原因有多种，“得了肺炎”只是其中之一，不是唯一的原因，所以不能由“儿童现在发烧了”就推出“这个儿童得了肺炎”。
二、必要条件假言推理
这是大前提是必要条件假言判断，小前提和结论是性质判断的条件推理。根据前后件之间的真假制约关系，推理过程中应遵守以下规则：
（一）否定前件要否定后件，肯定后件要肯定前件。
（二）肯定前件不能肯定后件，否定后件不能否定前件。根据规则，必要条件的假言推理有两个正确形式：
1.否定前件式：从否定前件推出否定后件。逻辑形式为：
p←p
∴例如：
只有天下雨某人才在家，
今天没有下雨；
所以，今天某人不在家。
这个推理用“今天没有下雨”否定了“只有天下雨”这个前件，从而推出“今天某人不在家”的结论。
2.肯定后件式：就是由肯定后件推出肯定前件。逻辑形式为：
p←∴p
例如：
只有认识错误才能改正错误，
某人改正了错误；
所以，某人认识了错误。
这是用“改正了错误”肯定后件，从而肯定前件“认识了错误”，是正确的推理。下面的推理有误：
只有肚子痛才得阑尾炎，
现在某人肚子痛了；
所以，某人得了阑尾炎。
它违反了“肯定前件不能肯定后件”的规则，“肚子痛”并不一定就“得了阑尾炎”，所以结论不是必然的。下面的推理也无效：只有精神无缺陷的人才可以当证人，某人不可以当证人；
所以，某人在精神上一定有缺陷。
这一推理的“某人不可以充当证人”否定了后件，由此得出“某人在精神上一定有缺陷”的结论，但结论不可靠，假设某人是一个婴儿也是不能当证人的。
三、充分必要条件假言推理
这是前提中有一个充分必要条件假言判断并根据其前后件之间的真假制约关系进行的推理。需要遵守两条规则：
（一）肯定前件要肯定后件，否定后件要否定前件。
（二）否定前件要否定后件，肯定后件要肯定前件。
按上述规则，充分必要条件假言推理有四个正确形式：
1.肯定前件式：由肯定前件推出肯定后件。逻辑形式为：
p←→p
∴例如：
当且仅当三角形等边时它是等角的，
这个三角形是等边的；
所以，这个三角形是等角的。
2.否定后件式：由否定后件推出否定前件。逻辑形式为：
p←→∴p
例如：
当且仅当自然数能被2整除时才是偶数，
这个自然数不是偶数；
所以，这个自然数不能被2整除。
“这个自然数不是偶数”否定了大前提的后件，最后得出否定前件的结论。
3.否定前件式：从否定前件推出否定后件。逻辑形式为：
p←→p
∴例如：
当且仅当自然数能被2整除时才是偶数，
这个数现在不能被2整除；
所以，这个数还不是偶数。
4.肯定后件式：从肯定后件推出肯定前件。逻辑形式为：
p←→∴p
例如：
当且仅当与经验事实相符时认识才变成真理，
现在这个认识还没有变成真理；
所以，现在这个认识与经验事实还不相符。