Lógica Matemática

1. Es la rama de las Matemáticas que opera utilizando un lenguaje simbólico artificial, realizando una abstracción de los contenidos

2. Proposición simple: proposición lógica que consta de un solo sujeto y predicado (Variables proposicionales). Ejm: 3 divide a 6. 12 es un número par. 1 es un número natural.

3. Proposición compuesta: proposición lógica compuesta de dos o más proposiciones simples. Ejm: 3 divide a 6 y 12 es un número par. 12 es un número par entonces tiene mitad.

4. ➢Tautologia: Se denomina a una proposición que es cierta para cualquier valor de verdad de sus componentes. ➢ Contradicción: Es la negación de una tautología, luego es una proposición falsa cualquiera sea el valor de verdad de sus componentes. ➢ Contingencia: Es aquella que no es cierta ni falsa para todos los valores.

5. Referencias: • Amado Orduz A. (s.f) http://aulavirtual.iberoamericana.edu.co/repositorio/Cursos-Matriz/Transversales/Pensamiento-logico-matematico/MD/Doc-Orientador.pdf • Castañeda Hernández S. (s.f) https://www.casadellibro.com/ebook-matematicas-fundamentales-para-estudiantes-de-ciencias-ebook/9789587419337/6551026

6. Tabla de verdad: es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.

7. Conectivos lógicos: ➢ “y”: conjunción (˄) ➢ “o”: Disyunción (˅) ➢ “entonces”: implicación (→) ➢ “si y solo si”: doble implicación (↔)