直接推理
逻辑学中，直接推理是从一个前提直接推导出结论的思维过程，它与需要多个前提的间接推理相对。其核心在于，结论的得出不依赖于其他中间命题，仅通过前提自身的逻辑变形或对当关系即可完成。这看似简单，却构成了复杂推理的基石。
直接推理主要依赖两种基本形式：对当关系推理和命题变形推理。对当关系推理基于同一素材的直言命题（即具有相同主项和谓项的A、E、I、O命题）之间的真假制约。例如，已知“所有天鹅都是白的”（A命题）为真，则可直接推出“有些天鹅不是白的”（O命题）为假，这是矛盾关系。此外，还有差等关系、反对关系和下反对关系。这些关系如同一张精密的逻辑网络，允许我们在已知一个命题真假的瞬间，锁定其他相关命题的...