随笔分类 - 2022 春 / 离散数学
摘要：逻辑公理系统 Pre 命题合式公式 定义 常量 0, 1 是合式公式 命题变量是合式公式 若 是合式公式，则 是合式公式 只有有限次应用 构成的公式是合式公式 项形成规则 谓词合式公式 缩写定义 谓词公理系统中仅使用了 $\n
阅读全文
摘要：逻辑语言 逻辑域 最简单的论域 定义 逻辑对象是真和假，也称为逻辑真值，简称真值，记为 1 和 0 真值集合以及逻辑运算、逻辑关系统称为逻辑域 表达逻辑真值的变量，称为逻辑变量，简称变量 一般用小写英文字母表示 由逻辑真值集合，逻辑运算集合以及关系集合构成的三元组成为逻辑域 $\forall \
阅读全文
摘要：谓词逻辑公式语义 谓词逻辑语法 谓词逻辑语言 谓词逻辑语言，又称一阶逻辑语言 逻辑符号：包括变元、联结词、量词 非逻辑符号：包括常量、函词、谓词 仅有个体变元 按形成规则构成的合式公式集合 谓词逻辑，也称为狭义谓词逻辑 谓词都是关于个体的性质或关系，而不涉及关系的性质或关系之间的关系 函数是关于个体
阅读全文
