Hola a todos.
Se publicó el teórico de Completitud de Predicados.
Estaría bueno si pudieran pegarle una leida para mañana.
La idea de la clase de mañana va a ser:
* Sacar las dudas que hayan quedado de Deducción Natural.
* Ver la idea de Completitud en Predicados (que es igual que en prop con algunos detalles).
Para la semana que viene, la idea es que hayan leido completitud a fondo y veamos las dudas que hayan quedado.
El link es este:
Join Zoom Meeting
https://salavirtual-udelar.zoom.us/j/94769693991?pwd=b3dhWHc3UTZJcnhIU3gzOUwvczJFZz09
Meeting ID: 947 6969 3991
Password: 006752
Saludos
FDO.