东联词典 - 汉语词语查询

在线词语工具

// 词语查询结果 · output

一阶逻辑

yī jiē luó jí · ㄧ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ

updated: 2026-07-13 02:13:53

释义

「一阶逻辑」是什么意思?

词语一阶逻辑
拼音yī jiē luó jí
拼音字母yi jie luo ji
拼音首字母yjlj
注音ㄧ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ
注音符号ㄧ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ

扩展释义

一阶逻辑(first order logic,FOL)也叫一阶谓词演算,允许量化陈述的公式,是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑,它不允许量化性质。性质是一个物体的特性;所以一个红色物体被表述为有红色的特性。

工具

拆字组词

// 点击汉字查看组词列表

相关

相关词语