必然性推理

“或然性推理”的对称。前提蕴涵结论的推理。从真前提能必然得出真结论。演绎推理、完全归纳推理都属此类。