En esta clase introdujimos los predicados de orden superior: De esa forma cubrimos todo lo relacionado con existencia (no hace falta usar ningún predicado especial para esto), no existencia y para todo, que es lo que nos faltaba para poder trabajar con lógica de primer orden. También vimos que ambos predicados tienen problemas de inversibilidad, con lo cual hay que tomar ciertos recaudos al usarlos para que nuestros predicados sean inversibles. También se puede ampliar sobre estos temas con el Módulo 4 de Lógico (hasta sección 4 inclusive). Video de la clase Para la semana que viene: Resolver los ejercicios del TP2 que están disponibles en la Guía de TPs de Lógico (ejercicios 3 y 4 de esa guía). Para ejercitar libremente: Ya pueden trabajar con Mumuki hasta la guía 7 inclusive. |
Cursos > Cursadas Anteriores > 2020 > Noc-Jueves > Bitácora de clase - Jueves Noche 2020 >