一、推理形式

  定义:前提真,结论必真的推理形式为正确形式