什么是逻辑公设？

在逻辑中，公设或公设是在没有证据的情况下被假定为真的陈述。它是用作推理和论证基础的基本原则或公理。公设经常用于数学和逻辑等形式系统中，以建立理论的一致性或证明结论的有效性。在亚里士多德的三段论背景下，公设是三段论背后的基本原理，例如不矛盾律和排中律。这些原则在没有证明的情况下被假定为真，并作为从前提演绎结论的基础。总之，公设或公设是在没有证明的情况下被假定为真的陈述，并作为基本原则或公理。逻辑系统。