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