人工智能学习笔记（一）命题逻辑

定义

---

1. 命题：命题是一个陈述句。它只能取真或假，而不能是两者。

2. 命题逻辑连接符：

   符号	涵义
   ~	读作“非“，否定符号
   ∧	与, 并且, 合取符号
   ∨	或, 或者, 析取符号
   →	蕴涵,隐含, 蕴涵符号
   ↔	充要, 等价, 等值符号

3. 合式公式：用连接符将多个原子公式组合以构成比较复杂的逻辑公式。递归定义：

   - 原子是公式;
   - 如果G是公式, 则~G也是公式
   - 如果G,H是公式, 则(G∧H), (G∨H), (G→H), (G↔H)是公式;
   - 所有公式均是由上述规则产生;
   

4. 复合命题的真假，真值表如下：

   G	H	G → H	G ↔️ H
   1	1	1	1
   1	0	0	0
   0	1	1	0
   0