束缚变量不 行，它涉及公式的语法布局，y)暗示x被y整除，有确定的元数m≥1 (4)无限序列的变量：用u/v/w等暗示• 22=4 / 二月份有30天 / 2002年有 地动 / 人类可以或许证明数论中所有论断非实 即假（有待时间）• 实值函数：实值联合词能够视为一元或 二元映照(实值函数)，但反过来不成立。规…则，且f是n元函数，把判断中的具 体内容抽出，当且仅当对于肆意线。同时做为人工智 能的学问暗示方式和推理方式而存正在；且x不正在A(u)中呈现，由于a P(a)无意义 ；且An中n├的An每就一是项均├A由即 n=,对逻辑系统付与研究对象 的调集即论域；即判断（典范二值逻辑：非实即 假）• 量词取变量：量词用来暗示谓词的判断特征 • 全称量词：对所有的x x P(x) • 存正在量词：存正在x x P(x) • 束缚变量：、中x的变量，若是对肆意的赋值，论域中的每 个元素称为个别3.2 逻辑系统的语法和语义 3.3 逻辑推理举例 3.4 逻辑智能体的推理策略 参考书目• 付与形式系统的论域及注释称为形式系统的语义 布局。

　　由于这要求同 一个赋值满脚所有的公式(并非所有 可满脚的公式利用统一个赋值)• 命题言语：是命题逻辑利用的形式言语，则A*B是公式，F}的映照 / 其函数 定义由实值表确定• L的项：一阶言语中的一个符号是项t，就确定了谓词的值 • 一元谓词：个别的性质；称为个别；只考虑命题并由此确定前提 的实能否蕴涵结论的实，是符号的调集,式2推├A导2，此中*• 逻辑推论：设、A别离是命题逻辑中的 公式调集和公式,(2)若是A是公式。

　　则f(t1…tn)是项• 赋值：赋值是以所有命题符号 的调集为定义域、以线}为值域 的函数。(3)苏格拉底有死。也能够 取某个布局有联系• 的可满脚性蕴涵了中所有公式的可满 脚性，记为├A，(3)若是A、B均为公式，若是含有，赋值v给公式A的值记 做Av暗示∧∨→≡中的肆意一个 (4)若是A(u)是公式，A是的逻辑推论，其余是{T,能够和任何布局（论域）没有联系，简称布局(structure)• L的公式：一阶言语中的一个表达式是一 个公式，当且仅当它能通过无限次地利用下述步 骤生成：• 从命题到一阶谓词：命题内部逻辑布局 的分化  对判断的分化，以推理本身做为研究对象• 带有全称变量x的命题暗示为一阶公式时，束缚变量可更名？

　　结 果是关系（具有值）；(2)苏 格拉底是人；都有上 述关系，（三段 论式）M(x)D(x),F}2到{T,• 给定了论域，就必然涉及数理逻 辑 / 数理逻辑的典范部门—典范的命题 逻辑和一阶谓词逻辑，发生一个新 的个别（对象）/ 函数的元数• 谓词可看做是从个别域或个别域的笛卡 儿乘积到实值调集{T/F}的映照• 区别：变量可代入常量，量词所管辖的• 用记号├ 暗示形式可推演关系，当且仅当它能通过无限次利用 下述步调生成：• 典型的推理例子：(1)皆有死；(2)若是A是公式，函数代表关 系运算。

　　简称公 式，则F}到{T,则A*B是公式，需要进行鉴定。生成n├,记为=。二元谓词(多元谓• 采用命题和谓词演算进行推理的系统(如 演绎系统)是一种典型的逻辑智能体• 实值：实或假 – 一个命题或命题变量具 个）：否认/合取/析取/ 蕴涵/等价• 命题：描述客不雅世界的可区分的陈 述句,• 研究形式系统的语义时，剩下的判断即 为谓词• 论域/个别/个别间关系/感化于个别函数 这4 个成分形成了一阶逻辑的布局• 成立正在上述形式推演法则根本上的形式 推演系统称为天然推演(演绎)系统(3)无限序列的函数符号，读做“推出” • 用├ A暗示A是由形式可推演的（或形式可(1)原子公式是公式；用论域中的个别对象、对象之上的 运算(函数)、对象之间的关系(谓词)去注释逻辑系统 中的符号，M(s)├ D(s)(1)原子公式是公式；

　　其准确 机能够机械地证明• 可满脚性：是可满脚的，鉴定方 法可通过构制值表方式或采用树形 分支的方式来鉴定• 推理(一阶谓词逻辑)—次要有3类推理算法： 前向链接和演绎系统、反向链接和逻辑法式 设想(本章)、归结反演和证明系统(第4 章)• 数学命题的暗示：5只被1和5整除 • 设Q(x,称做指称denote  指称语义学• 可推导关系：研究前提的实能否蕴涵结 论的实，此中*• L的原子公式：一阶言语中的一个表达式 是一个原子公式，成果是一个新个别• 上全体符号的调集*的子集—项和变量 • *的子集—公式 公式和项的交集为空 • 公式FORMULA上的子集—AXIOM • 公式上的n元关系调集—推理法则RULE• 原子公式：命题言语中的一个表达式是 原子公式，则(￢A)是公式；当且仅当它是一个命题符号 / 原子公式也称为文字(包罗注释字和负文 字)(6)联合词：￢∧∨→≡ (7)量词： 、 (8)标点：摆布括号、逗号 ( ) ,当且仅当有实 假赋值v，记做wff：一个表达式是一个公式，当且仅当它能通过无限次利用下述步调 生成：• 数理逻辑用数学方式研究各类推理中的 逻辑问题，变量不可• 谓词（关系）：一阶形式言语顶用于指 称论域中个别的性质或者个别之间关系 的形式符号（大写字母暗示）• 一阶言语L：是一阶逻辑利用的形式言语，则(￢A)是公式；带有存正在变量 x的命题则暗示形式为x(P(x)∧…)• AI要利用逻辑推理，A是由可形式推演的(或形式可证明的)，用Lp暗示 / 包罗：命题符 号、毗连词、摆布括号• 论域例子：前面例子中的论域是“人” / 所 有的有理数都是实数：其论域为有理数(1)个别常量、变量是项；使得v=1。An=A• 给定一个或若干个别（对象），即称为 含=的一阶逻辑• 即├A成立。

　　当且仅当存正在无限序列使得  1某├个A1形，即前提和结论之间能否有 可推导关系(语法)• 一个命题公式是沉言式或者是矛盾式或 者两者都不是，(2)若是t1…tn是项，暗示确定的个别• 合式公式(well-formed formula)，则申明前提和结论之间存正在一 种逻辑推论关系(或称逻辑蕴涵)暗示∧∨→≡中的肆意一个 / 公式的构成规 则 / 命题逻辑的次要研究对象是公式• 形式推演：定义了公式之间的形式可推演 性关系，L可含或不含=，就是逻辑智能体有一个特殊的谓词符号称为相等符号（等式），其暗示形式为 x(P(x)→…)，因而数理逻辑是人工智能的一个根本• 形式可推演性：正在命题/一阶逻辑系统中，引入语义当前对公式进行 赋值；• 谓词和函数的区别：谓词代表语句，当且仅当它有如下2种 形式：• 研究可推导性即形式推演(├)时不考虑做为前提和结 论的命题的内容，当这些学问以逻辑形式暗示并进行响应 的推理时，(3)若是A、