假言推理,又称假言三段论,是反映事物相互联系的规律的推理.
王戎是首先假设,如果路边李子是不苦的,那么,过路行人早就摘光了,李树不可能多果（大前提）.实际情况又是怎样呢?现在,李树多果（小前提）,所以,推出,李子一定是苦的（结论）.
这个推理的结论之所以正确,是因为它的推理形式符合充分条件假言推理的否定式的规则.在充分条件假言推理的否定式中,小前提否定着大前提的后件,结论否定着大前提的前件.现在,推理式的小前提；李树多果,否定着大前提的后件.李树不可能多果；结论：李子一定是苦的,则否定着大前提的前件；李子是不苦的.符合否定式的“否定后件就能否定前件”的要求,也就是说,推理式是合逻辑的.因此,结论是正确的.