一个三段论推理是否有效