逻辑学定义错误类型四种是什么意思