离散数学常考题型梳理第6章 命题逻辑一、题型分析本章主要介绍命题、联结词的概念，命题公式与翻译，真值表与等价公式，重言式与蕴含式，范式和命题逻辑的推理理论等内容。经常涉及到的题型有：6-1 将陈述句翻译成命题公式6-2 求命题公式的真值6-3 命题公式类型的判断6-4 等价公式的证明6-5 求范式和主范式6-6判断有效结论的直接证法和间接证法因此，在本章学习过程中希望大家要清楚地知道：1将陈述句翻译成命题公式命题表述为具有确定真假意义的陈述句。命题必须具备二个条件：语句是陈述句；语句有唯一确定的真假意义。因此判断一个句子是否为命题，应首先判断它是否为陈述句，再判断它是否有唯一的真值。例如，“北京是中国的首都”是陈述句，有确定的真假意义，是命题，为真命题。将陈述句翻译成命题公式关键在于陈述句的逻辑含义要与命题公式的逻辑含义保持一致。因此首先要注意陈述句中表示特殊逻辑关系的词语的含义，其次要掌握五个联结词“， ， ，”所表示的命题间的逻辑关系：“” 是唯一一元联结词，表示否定；合取联结词“”在语句中相当于“不但而
