基本信息

---

下载

文档摘要

---

第一章主要内容命题与真值（或真假值）。简单命题与复合命题。联结词：┐，∧，∨，→，?。命题公式（简称公式）。命题公式的层次和公式的赋值。真值表。公式的类型：重言式（永真式），矛盾式（永假式）可满足式。

第一章学习要求在5种联结词中，要特别注意蕴涵联结的应用，要弄清三个问题：p→q的逻辑关系p→q的真值p→q的灵活的叙述方法写真值表要特别仔细认真，否则会出错误。深刻理解各联结词的逻辑含义。熟练地将复合命题符号化。会用真值表求公式的成真赋值和成假赋值。

本章典型习题命题符号化求复合命题的真值与命题公式的赋值判断公式的类型

第二章