命题逻辑是演绎逻辑最核心的组成部分，研究由命题和命题联结词构成的复合命题以及研究命题联结词的逻辑性质和推理规律。命题逻辑涉及对假言、联言、选言、模态、负命题及相关等值推理的综合运用。由于推理形式是命题形式之间的关系，因此，为研究推理的有效性，就要对命题的形式进行分析。 YEZUSimLNKmf5Vdm5wrYjuRRlpEFVVWY87rogakJpWXR53TXUsZbOYbkZtQTg+lC