假言推理指的是大前提是假言命题，而小前提和结论都是直言命题的推理。一般来说，小前提是假言命题的前件（或其负命题）或者后件（或其负命题）。假言推理反映了事物之间的条件关系。
如果一个人骄傲自满，那么他就要落后；
张菲骄傲自满；
所以，张菲必定要落后。
这个例子就是一个典型的假言推理，其大前提是一个假言命题，小前提和结论都是直言命题。
必要条件假言推理
必要条件假言推理，其假言前提是一个必要条件假言命题。它也有两种有效的推理形式。
1．否定前件式
否定前件式指的是小前提否定大前提的前件，结论否定大前提的后件。
只有年满18周岁，才有选举权；
王丽不到18周岁；
所以，王丽没有选举权。
2．肯定后件式
肯定后件式指的是小前提肯定大前提的后件，结论肯定大前提的前件。
只有选用优质奶源，奶产品才能健康；
奶产品健康；
所以，奶产品选用了优质奶源。