有效的证明有两个条件

有效的证明包含两个条件：结论为真、逻辑自洽。逻辑论证有效性的证明，我的理解是，我有一个观点或设想，而且有若干已知条件，我应该如何利用这些已知条件，根据现有的有效论证形式，如语句逻辑的十八个有效论证形式，条件证明与间接证明，谓词逻辑的四个量词规则（需要注意相关限制条件），来证明我的观点或设想在已知条件全部为真的情况下，结论不可能为假。换句话说，就是证明我的观点或设想，合乎逻辑。这其实并不容易做到。有点像我们中学时做几何证明题，条件已知，定律就是那些定律，但要做对这道证明题，却有相当的技巧性。如果真是练习题，还问题不大。真实情况是，我们现实中有太多的证明题要做，没有老师，在很多时候，甚至阅卷人就是自己。