yetong_

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

定义命题：命题是一个陈述句。它只能取真或假，而不能是两者。命题逻辑连接符： 符号 涵义 ~ 读作“非“，否定符号 ∧ 与, 并且, 合取符号 ∨ 或, 或者, 析取符号 → 蕴涵,隐含, 蕴涵符号 ↔ 充要, 等价, 等值符号合式公式：用连接符将多个原子公式组合以构成比较复杂的逻辑公式。递归定义：- 原子是公式;- 如果G是公式, 则~G也是公式