логика второго порядка
Sign in to saveAlso known as second-order predicate logic
логика с предикатами от предикатов (кванторами)
Wikidata facts
- Subclass of
- higher-order logic
- Image
- Kindl-Treppe Aug2021d.jpg
Show 1 more fact
- studied by
- mathematics
Sources (3)
via Wikidata · CC0
Article · Русский
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами и функциональными символами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Abstract from DBpedia / Wikipedia · CC BY-SA