Descripción: 

Las reglas de lógica especifican el significado de los enunciados matemáticos. La lógica es la base de todo razonamiento matemático.

Aplicaciones: 

• Diseño de equipos informáticos.
• Especificaciones de sistemas.
• Inteligencia artificial.
• Programación computacional.
• Lenguaje de programación.

Para entender las matemáticas debemos entender que es lo que constituye un argumento matemático correcto, es decir, una demostración.

Las demostraciones no sólo son importantes en matemáticas sino en muchas partes de las ciencias de la computación, tales como  la verificación de programas, análisis de resultados de algoritmos, sistemas de seguridad.

La matemática discreta está dedicada al estudio de estructuras discretas, las cuales se usan para representar objetos discretos.

Las reglas de la lógica le dan un significado preciso a los enunciados matemáticos o sentencias matemáticas. Estas reglas se usan en diseño de circuitos de ordenador, construcción de programas informáticos y verificación de que un programa esté bien construido.

Por medio del siguiente REDA usted podrá reconocer las proposiciones y operaciones lógicas, teniendo presentes los conectivos, proposiciones compuestas y los métodos de demostración. A través del siguiente contenido usted encontrará diversas actividades que lo llevarán a ponerse en contexto con el tema de operaciones lógico matemáticas.  Lo invito a que realice las actividades con entusiasmo, compromiso y responsabilidad.