rachunek predykatów drugiego rzędu
Sign in to saveAlso known as second-order predicate logic
extension of first-order logic allowing quantification over functions and relations
In the Vinony graph
Within Vinony's link graph, rachunek predykatów drugiego rzędu is referenced by 416 other articles, and connects out to first-order logic, semantic theory of truth and mathematical logic.
It is catalogued under topics including Charles Sanders Peirce and Systems of formal logic.
Its subject is documented across 15 Wikipedia language editions.
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 · Polski
Rachunek predykatów drugiego rzędu – rozszerzenie logiki pierwszego rzędu wzbogacone o kwantyfikatory po zmiennych, które przebiegają relacje . Istnieją odmiany logiki drugiego rzędu w których dopuszczalny zbiór kwantyfikatorów ograniczony jest jedynie do określonych rodzajów relacji, np. jest częścią logiki drugiego rzędu obejmującym jedynie kwantyfikatory nad relacjami unarnymi (zbiorami) .
Abstract from DBpedia / Wikipedia · CC BY-SA