演绎逻辑主要是研究推理的有效性问题，而所谓逻辑推理的有效性，指的是  是否正确。

演绎逻辑主要是研究推理的有效性问题，而所谓逻辑推理的有效性，指的是  是否正确。
【正确答案】：演绎逻辑主要是研究推理的有效性问题，而所谓逻辑推理的有效性，指的是推理形式是否正确。