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

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

>>阅读原文<<