Común
Lógica de segundo orden
extensión de una lógica de primer orden en la que se añaden variables para propiedades, funciones y relaciones, y cuantificadores
Lógica de segundo orden
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.
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis