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