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