考研复试 | 离散数学——第一章 命题逻辑

疑难点：1.p->q理解 2.熟练求解主析(合)取范式

1.1 命题符号化及联结词

• 命题：能判断真假的陈述句（具有唯一真值的陈述句）
  

• 简单命题（原子命题、命题常项、命题常元）

• 命题符号化：用小写的英文字母表示简单命题
  

• 命题变项（命题变元）：真值可以变化的简单陈述句（取值真或假的变量，不是命题）
  

• 复合命题：简单命题用联结词联结而成的命题

• 五种常用联结词（真值联结词，逻辑联结词）
  

  

• 优先级
  

---

1.2 命题公式及分类

• 命题公式（合式公式，公式）