必然性推理是结论蕴涵前提的推理。