演绎推理是从全称判断推导出特称判断或单称判断的过程，三段论式演绎推理包括大前提、小前提和结论。