北语直属15春《离散数学》作业1.docxVIP

北语直属15春《离散数学》作业1

离散数学作为计算机科学与技术、软件工程等专业的核心基础课程，其逻辑性与抽象性较强，对后续课程的学习影响深远。本次作业作为课程的开篇，主要聚焦于命题逻辑的基础概念与运算，这是构建整个数理逻辑体系的基石。本文旨在为同学们提供一份专业且实用的辅导，帮助大家梳理核心知识点，明晰解题思路，顺利完成本次作业并为后续学习打下坚实基础。

一、命题与联结词：逻辑的基本单元

命题逻辑研究的基本对象是命题。理解命题的定义、掌握常用的逻辑联结词，是进行后续一切逻辑演算的前提。

（一）命题的界定与表示

命题是指一个能判断真假的陈述句。这里有两个核心要素：首先，它必须是一个陈述句，而非疑问句、祈使句或感叹句；其次，它必须具有唯一的真值，即要么为真（用T或1表示），要么为假（用F或0表示），二者必居其一，且仅居其一。

例如，“北京是中国的首都”是一个真命题；“1加1等于3”是一个假命题。而“你今天有空吗？”（疑问句）、“请关上门”（祈使句）、“真美啊！”（感叹句）均不是命题。此外，一些悖论，如“我正在说谎”，由于其真值无法确定，也不是命题。

在数理逻辑中，我们通常用命题标识符来表示命题，常用大写英文字母A,B,C,...,P,Q,R,...等表示。例如，可令P：今天是晴天。

（二）逻辑联结词：命题的“运算符”

单个命题称为原子命题或简单命题。通过逻辑联结词可以将