关于逻辑证明与实践检验

摘要

什么是逻辑证明?逻辑证明是用一个或一些已知为真的命题来确定另一命题的真实性的思维过程。反驳可以看做证明的特例,它是用已知为真的命题去确定另一命题的虚假。逻辑证明在形式上表现为一系列的推理,上一个推理的结论构成下一个推理的前提,直至得到需要证明的命题为止。如果说它和推理有所不同,就在于它通过一连串各种