一个正确的推理必须推理有效和（）。