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