一个有效的演绎推理，若其结论为真，则其前提（）。