LOGICA MATEMATICA CARLOS LAURENTINO PAEZ UNAD 2020

Description

Se presenta los conceptos mas importantes de la logica proposicional, los conectores logicos y sus propiedades
Emmy Jimenez
Mind Map by Emmy Jimenez, updated more than 1 year ago More Less
Jose Izurieta
Created by Jose Izurieta almost 8 years ago
Emmy Jimenez
Copied by Emmy Jimenez almost 4 years ago
17
0

Resource summary

LOGICA MATEMATICA CARLOS LAURENTINO PAEZ UNAD 2020
  1. trata de los métodos de razonamiento
    1. proporciona reglas y técnicas para determinar si es o no válido un argumento
      1. Lógica proposicional
        1. La proposición EL elemento fundamental
          1. CLASIFICACION DE LAS PROPOSICIONES
            1. POR EL NUMERO
              1. simples (atómicas)
                1. compuestas ( moleculares)
                  1. tienen CONECTORES (al menos uno).
                  2. carecen de CONECTORES
                2. POR EL VALOR
                  1. Cerradas
                    1. Abiertas
                      1. permiten buscar la respuesta
                      2. el argumento tiene la RESPUESTA
                  2. Se simbolizan CON las letras p, q, r
                  3. NO se interesa por EL contenido del pensamiento, SINO por su forma Y estructura.
                    1. estudia las relaciones formales entre las proposiciones
                      1. LA PROPOSICIÓN ES un enunciado escrito o hablado, que puede ser cierta o falsa, pero no ambas a la vez.
                        1. NO TODAS LAS ORACIONES PUEDEN SER PROPOSICIONES
                          1. Imperativas o exhortativas.

                            Annotations:

                            • Ej: Debemos honrar el bicentenario
                            1. Exclamativas o admirativas.

                              Annotations:

                              • Ej. ¡Que suerte! ¡Casi me saco el monobingo!
                              1. Desiderativas.

                                Annotations:

                                • Ej. Sea en hora buena
                                1. las Dubitativas.

                                  Annotations:

                                  • Quizás llueva mañana
                                  1. Las pseudoproposiciones

                                    Annotations:

                                    • Ej. El cuadrado es inteligente
                                    1. Las funciones proposicionales.

                                      Annotations:

                                      • Ej. 2X + 6 = 14
                                      1. las descripciones definidas.

                                        Annotations:

                                        • Ej. El actual presidente del Banco Central
                                        1. Los filosofemas.

                                          Annotations:

                                          • Ej. La materia se mueve en un ciclo eterno.
                                          1. NO SON PROPOSICIONES
                          2. Las proposiciones se pueden combinar para obtener otras proposiciones utilizando los conectivos lógicos (enlaces).
                            1. CONECTORES LOGICOS
                              1. La conjunción Y
                                1. p ᴧ q

                                  Annotations:

                                  • pero, aunque, no obstante sin embargo
                                  1. La disyunción " o "
                                    1. p v q

                                      Annotations:

                                      • en sentido incluyente) p o q, o ambos
                                      1. Negación
                                        1. p ᷉ q

                                          Annotations:

                                          • no p, no es cierto que p, no ocurre que p
                                          1. " ó " exclusiva
                                            1. p Ṿ q

                                              Annotations:

                                              • p ó q (en sentido excluyente) O p o q pero no ambos
                                              1. condicional ( Si … entonces)
                                                1. p → q

                                                  Annotations:

                                                  • si p entonces q; p implica q, implicación material, p solo si q; q si p; cuando p, q
                                                  1. doble implicación, bicondicional
                                                    1. p ↔ q

                                                      Annotations:

                                                      • p si y solo si q
                                                      1. PROPIEDADES DE LOS CONECTORES LOGICOS
                                                        1. Involutiva
                                                          1. ᷉p ( ᷉p ) ≡ p
                                                            1. Conmutativa
                                                              1. p ᴧ q ≡ q ᴧ p p v q ≡ q v p
                                                                1. Asociativa
                                                                  1. (p ᴧ q) ᴧ r ≡ (q ᴧ r) ᴧ p (p v q) v r ≡ p v (q v r)
                                                                    1. Distributiva
                                                                      1. p ᴧ (q v r) ᴧ r ≡ (p ᴧ q) v (p ᴧ r) p v (q ᴧ r) ≡ (p v q) ᴧ (p v r)
                                                                        1. Leyes de De Morgan:
                                                                          1. ᷉(p ᴧ q) ≡ ( ᷉p v ᷉q) ᷉( p v q) ≡ ( ᷉p ᴧ ᷉q)
                                                                            1. Definición del Condicional
                                                                              1. Negación de un condicional
                                                                                1. ᷉( p → q) ≡ p ᴧ ᷉q
                                                                                  1. otras
                                                                                    1. p ᴧ ᷉p ≡ F
                                                                                      1. p v ᷉p ≡ V
                                                                                        1. p ᴧ F ≡ F
                                                                                          1. p v F ≡ p
                                                                                            1. p v V ≡ V
                                                                                              1. p ᴧ V ≡ p
                                                                                            2. P → q ≡ ᷉p v q
                                                          2. TIENE su propio lenguaje : el lenguaje simbólico
                                                      Show full summary Hide full summary

                                                      Similar

                                                      5 Maneras de Usar las Redes Sociales en el Aula
                                                      Diego Santos
                                                      Bases teóricas de la educación en ambientes virtuales
                                                      Gennecheverria
                                                      ESTÁNDARES DE LOS RECURSOS EDUCATIVOS DIGITALES
                                                      Juliana Martinez
                                                      CONCLUSIÓN SOBRE EL USO DE LAS TICS
                                                      jarroyoga
                                                      Teorías del Aprendizaje y su relación con las Tecnologías Informáticas
                                                      Linette Gómez Sánchez
                                                      Corrientes del Pensamiento Crítico: Robert Ennis
                                                      Monoko-chan Sand
                                                      Motivación en gamificación
                                                      Águeda Santana Pérez
                                                      LOGICA MATEMATICA
                                                      Luz Jazmin Jerez
                                                      LOGICA MATEMATICA
                                                      Luis Diego Poma