函数在谓词逻辑符号化中的应用

摘要：

针对不同个体域，用实例讨论了谓词逻辑中命题符号化时函数的引入、函数的作用以及谓词和函数的区别，并给出了错误使用函数的例子，分析了产生错误的原因。

关键词：个体域、谓词逻辑、函数、命题符号化

所属期刊栏目：29

分类号：O141.1(数理逻辑、数学基础)

在线出版日期：2016-12-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：6-8,20