必然性推理

前提真，则结论必然真 的 推理形式。