离散数学命题与联结词.pptVIP

DiscreteMathematics关于离散数学命题与联结词*第一章命题逻辑逻辑：研究推理，关注推理的正确性数学上，证明定理；计算机科学中，证明程序实现了要求它完成的任务。逻辑重点研究命题之间的关系，而不是一个具体命题内容在自然语言中的意义.第2页,共25页，2024年2月25日，星期天*例如，软工专业的学生都喜欢看宫廷剧《延禧攻略》.任何一个喜欢看《延禧攻略》的学生都是软工1701班的.软工专业的学生都是软工1701班的.真真真从逻辑的角度从语义的角度假第3页,共25页，2024年2月25日，星期天*1.1命题与联结词1.2命题公式与赋值1.3等值演算1.4析取范式与合取范式1.5命题逻辑的推理理论本章内容第4页,共25页，2024年2月25日，星期天*1.1命题与联结词命题与真值原子命题复合命题命题常项命题变项联结词第5页,共25页，2024年2月25日，星期天*命题与真值命题:判断结果惟一的陈述句.命题的真值:判断的结果.真值的取值:真与假.真命题:真值为真的命题.假命题:真值为假的命题.感叹句、祈使句、疑问句都不是命题！陈述句中的悖论以及判断结果不惟一确定的也不是命题！注意:理发师悖论第