FILO 2000 lógica 2
Este curso es una continuación del curso Lógica 1. Su temática central la constituye la lógica de predicados, algunos métodos de prueba semánticos y sintácticos, como los árboles de verdad y la deducción natural. Adicionalmente se estudiará una de las extensiones más importantes de la lógica clásica como la lógica modal; dada su complejidad se estudiará únicamente la lógica modal proposicional.
Créditos
3
Periodo en el que se ofrece el curso
201910
Idioma en el que se ofrece el curso
Español
Página del catálogo en este curso