中英▼
go top

first order predicate logic

  • 一阶谓词逻辑：一阶逻辑是使用于数学、哲学、语言学及计算机科学中的一种形式系统，也可以称为：一阶断言演算、低端断言演算、量化理论或谓词逻辑。一阶逻辑和命题逻辑的不同之处在于，一阶逻辑包含量词。

网络释义

  一阶谓词逻辑

... 命题逻辑（proposition logic） 一阶谓词逻辑（first-order predicate logics） 高阶逻辑(higher order logics) ...

基于1个网页-相关网页

双语例句

  • Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.

    讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

    youdao

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

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

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