LÒGICA PROPOSICIONAL

Description

logica matematica
gianny mendoza
Mind Map by gianny mendoza, updated more than 1 year ago
gianny mendoza
Created by gianny mendoza about 6 years ago
172
0

Resource summary

LÒGICA PROPOSICIONAL
  1. LÒGICA
    1. Consiste en examinar la validez o la ivalidez de ua afirmacion
    2. PROPOSICIÒNN
      1. Construye una oraaciòn que puede der falsa o verdadera
      2. CLASIFICACIÒN
        1. SIMPLES
          1. son aquellas que están estructuradas por una única oración
          2. COMPUESTAS
            1. son aquellas que están estructuradas por dos o más proposiciones simples unidas por operadores lógicos,
          3. TRADUCCIÒN DEL LENGUAJE NATURAL Y SIMBOLICO
            1. Lenguaje natural
              1. el lenguaje que hablamos en nuestra vida cotidiana, que en nuestro caso es el español
              2. Lenguaje simbólico

                Annotations:

                • Traducir Trabajar con proposiciones requiere la aptitud de poder traducirlas del lenguaje natural al simbólico (también denominada traducción simbó- lica) y viceversa.
                1. permite examinar con mayor facilidad las formas del pensamiento y sus leyes
              3. OPERADORES LÒGICOS
                1. Doble negación
                  1. Si la negación de cualquier proposición p verdadera es falsa, entonces cuando se vuelve a negar será nuevamente verdadera;
                  2. Negación (a)
                    1. Sera falsa cuando se niegue una proposicion verdadera
                    2. son aquellos símbolos que permiten decidir qué valor de verdad tiene una proposición.
                      1. Conjunción (š)
                        1. Si p y q representan dos proposiciones simples, entonces la proposición compuesta p šq, solo será verdadera cuando las dos proposiciones lo sean.
                          1. Disyunción inclusiva (›)
                            1. Disyunción exclusiva (†)
                        2. Proposiciones condicionales
                          1. Condicional o implicación (Ÿ)
                            1. Si p y q representan dos proposiciones simples, entonces la proposición compuesta p Ÿq solo será falsa cuando p, llamado antecedente o hipó- tesis, sea verdadero y q, llamado consecuente o conclusión, sea falso.
                              1. Bicondicional o equivalencia (œ)
                                1. Si p y q representan dos proposiciones simples, entonces la proposición compuesta p œq, solo será verdadera cuando ambas proposiciones tengan el mismo valor de verdad.
                              2. TABLAS DE VERDAD
                                1. es una tabla que muestra el valor de verdad de una proposición compuesta, así como de algunos casos de proposiciones simples, cuando estas utilizan los operadores lógicos de negación y doble negación, dependiendo de los operadores lógicos usados y de los valores de verdad de las proposiciones simples involucradas.
                                Show full summary Hide full summary

                                Similar

                                LOGICA MATEMATICA
                                Jose Izurieta
                                Etica y Axiologia
                                Ana Isabel Cortez Campos
                                Elementos de la logica proposicional
                                claudia unad
                                PENSAMIENTO LOGICO MATEMATICO
                                laura castellanos
                                SISTEMAS INTELIGENTES
                                renzopt94
                                CONECTIVOS LÓGICOS
                                Alita Avila
                                Matemática discreta
                                BLEYDIS MILETH CONRADO PADILLA
                                Lógica proposicional
                                Andres Arias
                                UNIDADES
                                monica valentin
                                Test de Lógica Cristian David Tintin Huerfano 10-02
                                Cristiam David T