摘要：
命题逻辑的应用 自然语言命题的符号化 为什么要将自然语言命题符号化？ 自然语言命题转换为逻辑公式的过程也称为自然语言命题的符号化 是将命题逻辑知识（等值演算和推理理论）用于求解应用问题的第一步
摘要：
命题逻辑的推理理论 推理的有效性 推理是从一组作为前提的命题得到一个作为结论的命题的过程 推理的有效性并不保证结论真，有效的推理没要求所有的前提都必须为真 有效推理的保真是针对从前提得到结论这个过程，从真前提必得到真结论 但前提和结论本身是否为真是另外一回事，与推理是否有效没有关系 自然推理系统 自 阅读全文
摘要：
命题逻辑公式的范式 析取范式与合取范式 析取范式是一个或多个简单合取式的析取 • 简单合取式是一个或多个文字的合取 文字(literal)是命题变量或命题变量的否定 合取范式是一个或多个简单析取式的合取 • 简单析取式是一个或多个文字的析取 析取范式举例 单个文字既是简单合取式也是析取范式：p, ¬ 阅读全文
摘要：
命题逻辑的等值演算 命题逻辑公式的逻辑等值 称命题逻辑公式A和B逻辑等值(logically equivalent)，简称等值，记为A≡B，如果对任意真值赋值函数
