lógica de segundo orden
Sign in to saveAlso known as second-order predicate logic
extensión de una lógica de primer orden en la que se añaden variables para propiedades, funciones y relaciones, y cuantificadores
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 · Español
Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables que representan propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables. Así se expande el poder expresivo del lenguaje sin tener que agregar nuevos símbolos lógicos.
Abstract from DBpedia / Wikipedia · CC BY-SA