Logic in Action / Lógica en Acción




    The Logic in Action Open Course Project aims at the development of elementary and intermediate courses in logic in electronic form. All material is freely available: the individual chapters of a larger manuscript which the project members have produced can be found on http://www.logicinaction.org/. This material has been used and tested in academic courses at Amsterdam University College (Amsterdam, The Netherlands), Tsinghua University (Beijing, China) (http://fenrong.net/teaching/opencourse.html). Parts have also been used at the University of Seville (Seville, Spain).

    On this site we list the presentations that can be used with the individual chapters of the manuscript.




    El Proyecto de Curso Abierto Lógica en Acción tiene como meta el desarrollo de cursos en formato electrónico para la enseñanza de lógica a nivel básico y nivel intermedio. Todo el material está disponible de manera libre, y los capítulos individuales del manuscrito que los miembros del proyecto han producido pueden ser descargados desde http://www.logicinaction.org/. Este texto ha sido utilizado como libro de texto en cursos acádemicos en diversas instituciones, tales como el Colegio Universitario de Amsterdam (Amsterdam University College) en Amsterdam, Paises Bajos, y la Universidad Tsinghua (Tsinghua University) en Beijing, China (http://fenrong.net/teaching/opencourse.html). Partes del texto tambíen han sido utilizados como material de apoyo en otros lugares, como la Universidad de Sevilla (Universidad de Sevilla) en Sevilla, España.

    En esta página proporcionamos presentaciones que pueden ser usadas con los capítulos del texto.




Slides / Presentaciones


English Español
Chapter 1: Introduction Capítulo 1: Introducción
Chapter 2: Propositional Logic Capítulo 2: Lógica Proposicional
Chapter 3: Syllogistic Reasoning Capítulo 3: Razonamiento Silogístico
Chapter 4: The World According to Predicate Logic Capítulo 4: El Mundo de Acuerdo a la Lógica de Predicados
Chapter 5: Knowledge and Information Flow Capítulo 5: Lógica, Información y Conocimiento
Chapter 6: Logic and Action Capítulo 6: Lógica y Acción
Chapter 7: Logic, Games and Interaction Capítulo 7: Lógica, Juegos e Interaccón
Chapter 8: Validity Testing Capítulo 8: Probando Validez
Chapter 9: Proofs Capítulo 9: Demostraciónes
Chapter 10: Computation Capítulo 10: Computación
Appendix: Sets, Relations and Functions Apéndice: Conjuntos, Relaciones y Funciones



Revised 12 June 2011 - Fernando Velázquez Quesada