逻辑证明

出处：按学科分类—自然科学总论 天津人民出版社《自然辩证法辞典》第769页（563字）

用某个(或一些)真实判断确定另一判断真实性的思维过程。

它由论题、论据和论证方式所构成。论题是真实性需被证明的判断。论据是用来证明论题真实性的工具。论证方式是论题和论据之间的逻辑联系，也就是证明过程所使用的推理形式。

逻辑证明必须遵循以下规则：(1)论题必须清楚、明确，并在论证过程中始终保持同一。论题一旦确定，就不能随意扩大或缩小，更不能偷换论题。(2)论据必须真实，论据的真实性不能依赖于论题的真实性。(3)论证过程要合乎逻辑，即从论据能必然地推出论题。

(4)论证要有充分的根据。逻辑证明和推理有着密切的关系。证明总要借助于推理来进行。但二者又是不同的。

首先，从认识过程看，推理是从前提得出结论，而证明则是先有论题，然后才引用论据对论题加以证明。其次，从逻辑结构看，论证的结构往往比推理复杂，它通常是由一系列各式各样的推理构成。再次，推理是根据一个或几个判断，得出另一个判断。而证明是由断定一个或几个判断的真实性，进而断定另一个判断的真实性。

推理只是断定前提与结论之间的逻辑关系，它并不必然断定前提与结论的真实性；而证明则必然断定论据和论题的真实性。因此，任何证明都要运用推理，但并非任何推理都是证明。

逻辑证明，按照不同的依据，可以分为直接证明和间接证明，演绎证明和归纳证明。