离散数学结构 第1章 命题逻辑基本概念复习.docVIP

PAGE PAGE 1 第1章 命题逻辑基本概念 第1章 命题逻辑基本概念 主要内容 1. 命题与真值（或真假值）。? 2. 简单命题与复合命题。? 3. 联结词：否定联结词┐，合取联结词∧，析取联结词∨，蕴涵联结词→，等价联结词。? 4. 命题公式（简称公式）。? 5. 命题公式的层次和公式的赋值。 6. 真值表。 7. 公式的类型 重言式（或永真式），矛盾式（或永假式），可满足式。 学习要求 1. 在5种联结词中，要特别注意蕴涵联结的应用，要弄清三个问题：? ? ① p→q的逻辑关系 ② p→q的真值 ③ p→q的灵活的叙述方法? 2. 写真值表要特别仔细认真，否则会出错误。? 3. 深刻理解各联结词的逻辑含义。? 4. 熟练地将复合命题符号化。? 6. 会用真值表求公式的成真赋值和成假赋值。? 1.1 命题与联结词 引言中的例子就是要对“我戴的是黑帽子”进行判断。这样的陈述句称为命题。 ?判断给定句子是否为命题，应该分两步：首先判定它是否为陈述句，其次判断它是否有唯一的真值。 例1.1 判断下列句子是否为命题。 (1) 4是素数。 (2) 是无理数。 (3) x大于y。 (4) 月球上有冰。 (5) 2100年元旦是晴天。 (6) π大于吗？ ? (7) 请不要吸烟！ (8) 这朵花真美丽啊！ ?(9) 我正