首页
[{"ID":42420,"Name":"文学"},{"ID":44583,"Name":"语言文字"},{"ID":44951,"Name":"语义学"},{"ID":44979,"Name":"谓词"}]
谓词逻辑
/predicate logic/
最后更新 2022-12-23
浏览 93次
形式逻辑中用于描述命题内部结构的理论系统。又称一阶逻辑（first-order logic）或谓词计算（predicate calculus）。
- 英文名称
- predicate logic
- 又称
- 一阶逻辑、谓词计算
- 所属学科
- 语言文字
京公网安备 11010202008139号
