基本属性
- 拼音字母yi jie luo ji
- 拼音首字母yjlj
- 注音符号ㄧ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ
扩展释义
一阶逻辑(first order logic,FOL)也叫一阶谓词演算，允许量化陈述的公式，是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性；所以一个红色物体被表述为有红色的特性。
一阶逻辑是什么意思？专家解读
918学习网·汉语词语词典
2026-07-10 14:37:38
「一阶逻辑」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音：yī jiē luó jí，注音：ㄧ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ。