Archivos de Lógica

practica_2.pdf

(Originalmente subido por Pablo Verdes en el sitio anterior)

Práctica 2: Deducción Natural
Archivo: 

dn-prop.pdf

(Originalmente subido por Dante Zanarini en el sitio anterior)

Slides de la clase del 19/08.
Archivo: 

intro.pdf

(Originalmente subido por Dante Zanarini en el sitio anterior)

Slides de la primer clase.
Archivo: 

practica_1.pdf

(Originalmente subido por Pablo Verdes en el sitio anterior)

Práctica 1: Semántica de la Lógica Proposicional
Archivo: 

prop.pdf

(Originalmente subido por Pablo Verdes en el sitio anterior)

Semántica de la Lógica Proposicional
Archivo: 

Pages