# Introducción a la lógica matemática

## Objetivo

Licenciatura: Matemáticas
Que el alumno conozca el lenguaje de la Lógica matemática, y que note la utilidad de las tablas de verdad para demostrar teoremas matemáticos o para dar solución a diversos problemas.

## Motivación

En el inicio de la unidad se muestra un video donde se explica lo que es la lógica y lo que esta tiene que ver con las matemáticas.

## Inicio

El contenido de este apartado trata sobre la explicación de lo que es el lenguaje lógico y cómo este se utiliza en procesos matematicos.

## Desarrollo

En este apartado se trabaja con el usuario para que deduzca cómo son las tablas de verdad aplicadas a los conectivos lógicos. Se explica cómo se hace una demostración matemática a través de las tablas de verdad y se pone un ejemplo demostrativo. Finalmente se le presenta al usuario un conjunto de ejercicios que tendrá que resolver.

## Cierre

Finalmente se muestra al usuario el proceso de una demostración por contrarrecíproco, y se muestra por qué tiene validez en las demostraciones.

# Créditos

## Escena original

Diseño del contenido | Víctor Hugo García Jarillo (Facultad de Ciencias UNAM, LITE)
Diseño funcional | Víctor Hugo García Jarillo (Facultad de Ciencias UNAM, LITE)
Programación | Víctor Hugo García Jarillo (Facultad de Ciencias UNAM, LITE)
Diseño gráfico | Ricardo López Gómez
Coordinación | Leticia Montserrat Vargas Rocha

## Adaptación

Diseño funcional | Victor Hugo García Jarillo (Facultad de Ciencias, UNAM)
Programación | Victor Hugo García Jarillo (Facultad de Ciencias, UNAM)
Diseño gráfico | Francisco Varela Fuentes
Coordinación | Leticia Montserrat Vargas Rocha
Desarrollo del contenedor | Oscar Escamilla González

Los contenidos de esta unidad didáctica interactiva están bajo una licencia Creative Commons Reconocimiento-NoComercial-CompartirIgual.

La unidad didáctica fue creada con Arquímedes, una herramienta de código abierto.

La unidad didáctica contiene escenas elaboradas con Descartes, una herramienta de código abierto.

LITE - UnADM 2014