离散数学第一章.docVIP

命题与联结词 命题公式及其赋值 离散数学 2016.02-2017.01 第 1 章 命题逻辑的基本概念 陈寅 计算机学院 陈寅 2016-2017 华南师范大学 命题与联结词 命题公式及其赋值 参考书目 数理逻辑（A Mathematical Introduction to Logic） Herbert B. Enderton 沈复兴，陈磊，孙运传译 面向计算机科学的数理逻辑（第二版），陆钟万著 陈寅 2016-2017 华南师范大学 命题与联结词 命题公式及其赋值 命题逻辑：第 1 章到第 3 章 命题逻辑 全称量词 ?，存在量词 ? 一阶逻辑 基本概念 命题与连接词 公式及赋值 等值演算 等值式 范式，完备集 可满足性问题 推理理论 自然推理系统 陈寅 2016-2017 华南师范大学 命题与联结词 命题公式及其赋值 本章的主要内容 1命题与联结词 命题 命题的符号化 2命题公式及其赋值 命题公式 公式的赋值和真值表 陈寅 2016-2017 华南师范大学 命题与联结词 命题公式及其赋值 本章的主要内容 1命题与联结词 命题 命题的符号化 2命题公式及其赋值 命题公式 公式的赋值和真值表 陈寅 2016-2017 华南师范大学 命题与联结词 命题公式及其赋值 本章的主要内容 1命题与联结词 命题 命题的符号化 2命题公式及其赋值 命题公式 公式的赋值和真值表 陈寅 2016