命题与逻辑

命题符号化：逻辑联结词

not	and	or	if … then …	if and only if
$\neg$	$\wedge$	$\vee$	$⟹$	$⟺$

优先级： $\neg ,[\wedge ,\vee ],\to ,\leftrightarrow$

排中律(Law of Excluded Middle)

非真即假

---

• 逻辑连接词 (logical connectives)
• 原子命题 (atom proposition)
• 复合命题 (compound proposition)

---

• 重言式，永真式(tantology) $A\vee \neg A$
• 矛盾式，永假式(contradiction) $A\wedge \neg A$
• 可满足式(contingency)

逻辑等价式

$A\leftrightarrow B$是重言式，称A逻辑等价于B，记作A