Cálculo Proposicional 2010-1
- Programa del curso en la página de la FFL: http://www.filos.unam.mx o directamente en http://colegiodefilosofia.unam.mx/2010-1/julio.pdf
- Texto Consecuencia y validez
- Software para practicar árboles de verdad: Twootie
- Software para practicar derivación natural comprobar la validez de argumentos (Bertie3) es un programa para ejercitar la derivación "natural" Bertie3
- Ver respuestas del examen de traducción en cálculo proposicional. Recuerda que el examen estará disponible de 8 a 12 Hr. y que es estrictamente individual.
- Calificaciones del segundo examen de lógica 2010-1 (traducción, realizado en línea)