出处：信息科学卷 • 计算机科学技术 • 人工智能
| 词条 | 谓词演算 |
| 释义 | 谓词演算 谓词演算 数理逻辑最基本的形式系统。可以回答真假的命题，不仅可以分析到简单命题，还可以分析到其中的个体、量词和谓词。可以公理化，即从符号到公式的定义，从公理到推演都严格形式化，构成完全的公理系统，使系统所推演出的都是恒真式，且每个恒真式都能从公理推演出来。与命题演算不同的是，谓词演算是一个不可判定的系统，即不存在一个算法来判定谓词公式是否恒真式。 出处：信息科学卷 • 计算机科学技术 • 人工智能 谓词演算 数理逻辑的基本组成部分。形式化了的谓词逻辑演绎系统。有狭谓词演算(一阶谓词演算)和广义谓词演算(高阶谓词演算)之分。前者指狭谓词逻辑的形式系统,其中量词只作用于个体变元,而不作用于谓词变元和命题变元;后者指广义谓词逻辑的形式系统,其中量词既可作用于个体变元,又可作用于谓词变元和命题变元。通常主要指狭谓词演算。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 谓词演算 数理逻辑的基本组成部分,形式化的谓词逻辑系统。在谓词演算里,分析简单命题的内部结构(主词和谓词、全体和部分),研究由命题和命题形式经使用命题联结词、量词构成的命题的逻辑形式,以及它们之间的逻辑推理关系。谓词演算在计算机科学中有广泛应用。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 谓词演算 语义学方法。关于语义场的逻辑算式。如运用谓词演算来表现亲属关系：设[男（x）]表示x是男人，[-男（y）]表示y是女人，[夫妻（x，y）]表示x和y是夫妻，x是丈夫，y是妻子，[双亲（x，y，z）]表示是x和y是z的双亲，x是父亲，y是母亲，z是他们的子女，∃表示存在。则谓词演算“父子（x，z）=男（x）·男（z）·x∃（y）·双亲（x，y，z）”，解释为x是男人，z是男人，存在一个y，x和y是z的双亲，x是父亲，所以x和z是父子关系；谓词演算“女婿岳母（u，z）=男（u）·-男（z）·∃（x，y）[双亲（x，z，y）·夫妻（u，y）]”，解释为u是男人，z是女人，存在x和y两个人，x和z是y的双亲，z是母亲，y是u的妻子，所以u和z的关系是女婿和岳母的关系。逻辑算式是一个代码公式，没有歧义，不会误解；尽管不同的语言表达同一意义的手段可能不同，但逻辑算式则是统一的形式化的表达，在计算语言学上有重要价值。 出处：语言学卷 • 语义学 语用学 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。