Logica

Lógica proposicional y funciones lógicas
usando ISETL

Curso: Matemática Discreta usando ISETL
Año 2007
Responsable del curso: Sylvia da Rosa (docente del InCo)
Participa: Luis Sierra (docente del InCo)
Alumno: Diego Martorell

2 Lógica proposicional y funciones lógicas usando ISETL
Martorell

Diego

ÍndiceÍndice....................................................................................................2
Acerca del trabajo.................................................................................4
Fundamentación...................................................................................5
Introducción..........................................................................................7Desarrollo.............................................................................................8
Módulo I.............................................................................................8
Objetivo..........................................................................................8
Actividades.....................................................................................8
Ejemplo deresolución....................................................................9
Módulo II..........................................................................................14
Objetivo........................................................................................14
Actividades...................................................................................14
Ejemplo deresolución..................................................................17
Módulo III.........................................................................................20
Objetivo........................................................................................20
Actividades...................................................................................20
Ejemplo deresolución..................................................................21
Módulo IV.........................................................................................22
Objetivo........................................................................................22
Conclusiones.......................................................................................23Bibliografía.........................................................................................24
Cálculo Proposicional.......................................................................24
La matemática discreta como formación básica.............................24
¿Qué es matemática discreta?........................................................24
Manual de ISETL..............................................................................24
PequeñoManual de ISETL...............................................................24
Curso de Matemática Discreta usando ISETL -- Año 2007

3 Lógica proposicional y funciones lógicas usando ISETL
Martorell

Diego

Introducción a la lógica...................................................................25
Aprenda a crear Diagramas de flujo................................................25Introduccion a la inteligencia artificial.............................................25
Anexo.................................................................................................26
Notación de las operaciones básicas...............................................26
Notación de algoritmos...................................................................26Contacto..........................................................................................26

Curso de Matemática Discreta usando ISETL -- Año 2007

4 Lógica proposicional y funciones lógicas usando ISETL
Martorell

Diego

Acerca del trabajo
Este trabajo es resultado de lo aprendido durante el Curso de
Matemáticas Discreta usando ISETL dictado por la Ing. Sylvia Da Rosa.
Luego de haber analizado...