亚里士多德最重要的逻辑著作——（）、（），是对证明和证明中使用的推理形式的分析。