中英▼
go top

Functional predicate

  • 泛函谓词（泛函谓词是应用于一个对象项而生成另一个对象项的逻辑符号。在模型中，函数符号被建模为函数，带有域类型和陪域类型。在形式语言中的符号 F 是函数符号，如果给定任何表示在语言中的一个对象的符号 x，F(x) 也是表示这个语言中一个对象的符号）

网络释义英英释义

  来表现函数谓词

在形式逻辑中这个术语偶然用来表现函数谓词（Functional predicate）在那边函数是堆积论中谓词的模型。

基于12个网页-相关网页

Functional predicate

  • abstract: In formal logic and related branches of mathematics, a functional predicate, or function symbol, is a logical symbol that may be applied to an object term to produce another object term.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定