Lógica y MD 16/17
Los deberes para hoy son:
- Repasar los tableaux, en especial las reglas de formación.
- Hacer o rehacer si es el caso el ejercicio 1.4.14.
- Estudiar desde el ejemplo 1.7.1 hasta la regla de sustitución incluida.
Los deberes para hoy son: