形式有效不等于内容为真

因三相能保证「如果前提为真，结论必然为真」，但不能保证前提本身为真。这是所有形式化逻辑系统的共同局限——它处理的是「推理的结构」而非「知识的来源」。现代哲学家波普尔的「可证伪性」理论与此形成呼应：科学的标志不是「证实」而是「可被检验」