三、逻辑证明的必要性及其作用