逻辑证明是一种 运用已知的正确概念和判断，通过一定的推理，从理论上确定另一个判断的正确性的逻辑方法。它包括以下几种类型：
直接证明：
从真实论据直接推出论题的证明。这种证明的特点是，它从论题出发，为论题的真实性提供正面的理由。
间接证明：
通过一系列推理步骤，最终得出论题的真实性。间接证明通常用于无法直接证明的情况，通过已知的事实和逻辑推理来得出结论。
逻辑证明在多个领域都有广泛应用，例如数学、哲学、法律等。在公证工作中，逻辑证明是不可或缺的，从申请、受理、审查到出证，每一个程序都充满着逻辑证明。
需要注意的是，逻辑证明虽然是一种重要的思维方法，但它并不是检验真理的唯一标准。实践是检验真理的最终标准，逻辑证明只是在理论层面确定命题真实性的手段之一。
