若一个推理正确，则必须同时具备两个条件，即推理的前提（），推理的形式（）。