LOGICA PROPOSICIONAL

http://pendientedemigracion.ucm.es/info/pslogica/solucionpro1.pdf
http://pendientedemigracion.ucm.es/info/pslogica/ejercicios1.pdf
http://perso.ya.com/aparterei/filosofia/derivadas.pdf
http://pendientedemigracion.ucm.es/info/pslogica/cdn.pdf



http://mimosa.pntic.mec.es/~sferna18/materiales/LA_LOGICA.pdf    http://cibernous.com/logica/enunciados/reglas1.html   https://miguelagip.files.wordpress.com/2009/04/logica-formal.pdf     http://www.tesoem.edu.mx/alumnos/cuadernillos/2012.007.pdf
http://pendientedemigracion.ucm.es/info/pslogica/log.mate.htm

 

Documentos sobre Lógica y Computación

Introducción a la Lógica y al Cálculo de Deducción Natural. Carlos Muñoz Gutiérrez  Juego de transparencias del Curso de Lógica y Computación de Carlos Muñoz Gutiérrez  Juego de transparencias sobre Lógicas no-Clásicas por Carlos Muñoz Gutiérrez.   Demostración de Reglas Derivadas por Arantxa Martín Santos   Ejercicios Resueltos de Lógica de Enunciados (págs. 82 y 83 del libro de E. Pérez Sedeño)   Ejercicios Resueltos de Lógica de Predicados  Transparencias sobre teoría de Autómatas (ampliadas). Por Rodolfo Fernández González   Teoría de Conjuntos. Antonia Huerta y María Manzano  Documentos sobre Semántica La Concepción Semántica de la Verdad y los fundamentos de la Semántica. Alfred Tarski . La Definición de Verdad para lenguajes Formales según A. Tarski (Resumen). Carlos Muñoz Gutiérrez Hacia una Teoría Cognitiva del Significado. Carlos Muñoz Gutiérrez ---documentos en .pdf---