逻辑研究推理形式的有效性和内容的真实性问题。

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

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

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

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

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

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