一个正确的推理必须推理有效和( )。