如果真值表就可以断定一个推理形式是否有效，那为什么还要通过使用形式系统进行证明？
2023-05-28 阅读 39
使用真值表可以判断一个推理形式是否有效，但是这种方法对于复杂的推理形式来说很不实用，因为真值表的大小会随着命题变元的增加而呈指数级增长。而形式系统可以通过一系列规则和公理来进行推理，从而证明一个推理形式的有效性，这种方法更加高效和精确。此外，形式系统还可以帮助我们更深入地理解逻辑推理的本质和规律。因此，虽然真值表是一种有效的判断推理形式有效性的方法，但是形式系统在逻辑学中仍然有着重要的地位。
更新于 2023年05月29日
