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

已知一个正确的三段论的结论为SAP，这个三段论推理的结构式为AIA式。

判断题已知一个正确的三段论的结论为SAP，这个三段论推理的结构式为AIA式。

（定义）企业就是从事现代化生产的经济活动部门。

判断题（定义）企业就是从事现代化生产的经济活动部门。

假言判断是断定事物虚假情况的判断。

判断题假言判断是断定事物虚假情况的判断。