三段论,也称为推理规则,是一种用于从一组前提中得出结论的形式逻辑方案。 三段论的一个例子是肯定前件。
更多尝试
Weisstein, Eric W. “三段论。” 来自 MathWorld—— Wolfram Web 资源。 https://mathworld.net.cn/Syllogism.html