Hola a todos. Está publicado el teórico de Deducción Natural en Prop.
Una pregunta que hicieron en la clase fue cómo estudiar.....
Bien aquí va una sugerencia:
Vear la clase. Hay dos versiones: miren primero la de 2019 y si hay algo que no está claro, miren la de 2013.
Lean el libro.
Mientras hacen eso, tomen notas, anoten las preguntas y si surgen de algo de los videos, anoten el tiempo del video.
Junten las dudas que tengan y pregúntenlas en el foro de teórico. Hagan referencia a la clase y el minuto de video si es posible. Vamos a tratar de responderlas a medida que vayan saliendo pero, durante la clase, podemos responder las dudas que hayan quedado.
Saludos
FDO.