上位词
外文名
精选上位词
英文名
表达式
一阶逻辑
一阶谓词演算简介
一阶逻辑也叫一阶谓词演算,(fol)允许量化陈述的公式,比如"存在着 x,..." (x) 或 "对于任何 x,..." (砢),这里的 x 是论域(domain of discourse)的成员。
一阶逻辑是区别于高阶逻辑的数理逻辑,它不允许量化性质。性质是一个物体的特性；所以一个红色物体被表述为有红色的特性。
| 中文名 | 一阶逻辑 |
|---|---|
| 别名 | 一阶谓词演算 |
| 原始名称 | 一阶逻辑 |
| 应用学科 | 数学 |
| 精选别名 | 一阶谓词演算 |
| 绰号 | 一阶谓词演算 |
| 适用范围 | 数理逻辑 |
相关实体