| 孙翠先.函数在谓词逻辑符号化中的应用[J].唐山学院学报,2016,29(6):6-8,20 |
| 函数在谓词逻辑符号化中的应用 |
| The Application of Functions in the Symbolization of Predicate Logic |
| |
| DOI：10.16160/j.cnki.tsxyxb.2016.06.002 |
| 中文关键词: 个体域 谓词逻辑 函数 命题符号化 |
| 英文关键词: object domain predicate logic function symbolization of propositions |
| 基金项目: |
|
| 摘要点击次数: 8455 |
| 全文下载次数: 6525 |
| 中文摘要: |
| 针对不同个体域，用实例讨论了谓词逻辑中命题符号化时函数的引入、函数的作用以及谓词和函数的区别，并给出了错误使用函数的例子，分析了产生错误的原因。 |
| 英文摘要: |
| Based on different object domains and some specific examples, the author of this paper discusses the introduction and operation of functions, and the difference between predicates and functions in the symbolization of predicate logic propositions, and illustrates the improper use of functions and its causes. |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |