如果一个推理是有效的，则这个推理的结论是成立的。