// 词语查询结果 · output
一阶逻辑
updated: 2026-07-13 14:08:12
释义
「一阶逻辑」是什么意思？
| 词语 | 一阶逻辑 |
|---|---|
| 拼音 | yī jiē luó jí |
| 拼音字母 | yi jie luo ji |
| 拼音首字母 | yjlj |
| 注音 | ㄧ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ |
| 注音符号 | ㄧ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ |
扩展释义
一阶逻辑(first order logic,FOL)也叫一阶谓词演算，允许量化陈述的公式，是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性；所以一个红色物体被表述为有红色的特性。
工具
拆字组词
// 点击汉字查看组词列表
相关