2025-04-10

形式逻辑是研究推理形式结构的一门学科，它通过分析命题之间的关系来判断推理的有效性。其中，三段论是最基本且常见的形式逻辑推理方法之一