演绎逻辑是研究推理的有效性的。命题逻辑研究的推理是关于复合命题之间的演绎推理，由于推理形式是命题形式之间的关系，因此，为研究推理的有效性，就要对命题形式进行分析。 NAlh40HJuijlEhFb3oW2ZVf6XGYRVbAdP7QksPV5R6lSjA0L/az1tQzFV0NohY7b
