6.2.3 验证论证逻辑是否成立