摘要
针对不同个体域,用实例讨论了谓词逻辑中命题符号化时函数的引入、函数的作用以及谓词和函数的区别,并给出了错误使用函数的例子,分析了产生错误的原因。
Based on different object domains and some specific examples, the author of this paper discusses functions functions in t and introduction and operation of functions, and the difference between predicates and he symbolization of predicate logic propositions, and illustrates the improper use of ItS causes
出处
《唐山学院学报》
2016年第6期6-8,20,共4页
Journal of Tangshan University
关键词
个体域
谓词逻辑
函数
命题符号化
object domain
predicate logic
function
symbolization of propositions
