主合取主析取范式用↑和↓分别表示
(
p
∧
q
)
→
⇒
(
q
∨
r
)
\ (p\wedge q)\rightarrow \Rightarrow (q \vee r)
(p∧q)→⇒(q∨r)逻辑蕴含指派{xx,xxx,xxx}
⇒
(
A
∨
B
)
→
D
\Rightarrow(A\vee B)\rightarrow D
⇒(A∨B)→D反证一下PC系统，不能用演绎定理 财富密码为定理17.5 通杀所有
(
A
→
B
)
→
C
\ (A\rightarrow B)\rightarrow C
(A→B)→CND系统，演绎定理，多做几道题 简单的FC系统，存在消除，反证法
