Wikidata facts
- Part of
- mathematical logic
- Has part
- higher-order logic
Show 5 more facts
- topic's main category
- Category:Predicate logic
- Commons category
- Predicate logic
- Stack Exchange tag
- philosophy.stackexchange.com/tags/predicate-logic
- different from
- first-order logic
- uses
- quantifier
Sources (1)
via Wikidata · CC0
Article · 中文
在数理逻辑中，谓词逻辑（英語：predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑、或等等。
Abstract from DBpedia / Wikipedia · CC BY-SA