Chap1 命题逻辑的基本概念

核心概念

1.命题：真值唯一的陈述句

2.命题分类：简单命题（原子命题，不可再分）和复合命题

3.赋值（解释）：给所有命题变项各指定一个真值

4.合式公式（简称公式），类型：重言式（永真式）、矛盾式（永假式）、可满足式（至少存在一个成真赋值）

其他

否定式+否定联结词、合取式+合取联结词、析取式+析取联结词、蕴含式+蕴含式的前件和后件+蕴含联 结词、等价式+等价联结词；（注意蕴含式以及等价式的取值）

k层公式（10页）；成真赋值+成假赋值；真值表；

参考书籍：离散数学（第2版）--屈婉婷、耿素云、张立昂