FILO2000 Logica 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

202010

Idioma en el que se ofrece el curso

Español