SlideShare una empresa de Scribd logo
1 de 7
Lógica Matemática



Proposiciones lógicas
Tipos de Proposiciones
Conectivos Lógicos




                             Lic Barroeta Yelitza.
LÓGICA PROPOSICIONAL
CONCEPTOS
                                            VERDADERO

                 Tiene un único valor
 PROPOSICIÓN            lógico

                                               FALSO


                 Proposición Simple       Sin conectivos lógicos


                                        Ejm. p: Tania es alta.

                                        Con conectivos lógicos: y; o;
                     Proposición               entonces, etc.
                     Compuesta



                                        Ejm. Matías es doctor y
                                        Lorena es modelo.
NOTA

    PROPOSICIONES


 El azufre es de color amarillo.           V
 Los mamíferos son vertebrados.            V
 Susy Dias es una filósofa Peruana.        F


 NO SE CONSIDERAN PROPOSICIONES


 ¿Cuál es tu nombre?
 ! Auxilio!
 Apaga el ventilador                  ENUNCIADO
 Tócame que soy realidad.
 I love you !
CONCEPTOS



  Enunciado          Es toda frase u       Poseen variables x,
  Expresión             oración.                y, z, …



              TIPOS DE PROPOSICIONES




     PROPOSICIONES                 PROPOSICIONES
        SIMPLES                     COMPUESTAS
PROPOSICIONES COMPUESTAS O MOLECULARES

 Compuesta de dos o más proposiciones simples

                DENOMINACIÓN         SIGNIFICADO             SÍMBOLO
                  CONJUNCIÓN                    y               Λ

                DISYUNCIÓN DÉBIL                o               V

              DISYUNCIÓN FUERTE             o…o                 Δ
                 CONDICIONAL            si…;entonces           →
                 BICONDICIONAL      si y solo sí…;entonces     ↔

                   NEGACIÓN                  no                ~ p


OBSERV.



 p: Eucalipta es doctora.                          Proposición simple

 Pedro es marino y Rayza es                                  Proposición Compuesta
abogada
            p                          q
CONECTIVOS LÓGICOS




Proposiciones   Conjunción   Disyunción      Disyunción         Condicional   Bicondicional   Negación
                                          Fuerte o Diferencia
                               Débil          Simétrica


  p      q          Λ            V                Δ                 →              ↔            ~ p


  V      V          V            V                F                 V              V             F


  V      F          F            V                V                 F              F             F


  F      V          F            V                V                 V              F             V


  F      F          F            F                F                 V              V             V
Ejm.:Una madre a prometido a su hijo “si comes espinacas y el hígado entonces podrás salir a
jugar”.
El niño solo come las espinacas, pero la madre le permite salir a jugar.
¿Ha roto la promesa su “madre”?


Solución:

  “si comes espinacas y el hígado entonces podrás salir a jugar”.
                      Λ

             p                   q                            r
Se deduce:
( p ∧ q) ⇒ r
                                                           Por lo tanto la madre no ha roto su
                                                           promesa.
  V   ∧      F         V

         F       ⇒ V = VERDADERO

Más contenido relacionado

La actualidad más candente

Logica proposicional parte_2
Logica proposicional parte_2Logica proposicional parte_2
Logica proposicional parte_2Fëlÿpë Chôlk
 
Unidad I álgebra-proposicional
Unidad I álgebra-proposicionalUnidad I álgebra-proposicional
Unidad I álgebra-proposicionalMariexis Cova
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicionalrubenenrique
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicionalcepecole
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusionPerez Kyria
 
Sesion 03 proposiciones logicas
Sesion 03  proposiciones logicasSesion 03  proposiciones logicas
Sesion 03 proposiciones logicasguadalupe121270
 
Calculo Proposicional
Calculo ProposicionalCalculo Proposicional
Calculo Proposicionalgpbs_brito
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesMancast1
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicionalcepecole
 

La actualidad más candente (13)

Logica proposicional parte_2
Logica proposicional parte_2Logica proposicional parte_2
Logica proposicional parte_2
 
OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
Unidad I álgebra-proposicional
Unidad I álgebra-proposicionalUnidad I álgebra-proposicional
Unidad I álgebra-proposicional
 
4°Sec - I Bim - Lógica
4°Sec - I Bim - Lógica4°Sec - I Bim - Lógica
4°Sec - I Bim - Lógica
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
 
Logica Y Epistemologia
Logica Y EpistemologiaLogica Y Epistemologia
Logica Y Epistemologia
 
Sesion 03 proposiciones logicas
Sesion 03  proposiciones logicasSesion 03  proposiciones logicas
Sesion 03 proposiciones logicas
 
Estructura
EstructuraEstructura
Estructura
 
Calculo Proposicional
Calculo ProposicionalCalculo Proposicional
Calculo Proposicional
 
Proposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de ProposicionesProposiciones, Leyes del Algebra de Proposiciones
Proposiciones, Leyes del Algebra de Proposiciones
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 

Destacado (20)

Ejercicios logicos
Ejercicios logicosEjercicios logicos
Ejercicios logicos
 
Disertacion la ciencia y su naturaleza epistemológica
Disertacion la ciencia y su naturaleza epistemológicaDisertacion la ciencia y su naturaleza epistemológica
Disertacion la ciencia y su naturaleza epistemológica
 
Uso de conectores lógicos
Uso de conectores lógicosUso de conectores lógicos
Uso de conectores lógicos
 
Conectores Lógicos
Conectores LógicosConectores Lógicos
Conectores Lógicos
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Conectivos lógicos silviacardozo
Conectivos lógicos silviacardozoConectivos lógicos silviacardozo
Conectivos lógicos silviacardozo
 
Conectivos logicos
Conectivos logicosConectivos logicos
Conectivos logicos
 
Operadores lógicos
Operadores lógicosOperadores lógicos
Operadores lógicos
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Tablas de verdad
Tablas de verdadTablas de verdad
Tablas de verdad
 
Historia de la ingeniería
Historia de la ingenieríaHistoria de la ingeniería
Historia de la ingeniería
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Fundamentos de la Lógica
Fundamentos de la LógicaFundamentos de la Lógica
Fundamentos de la Lógica
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Los operadores lógicos matematicas
Los operadores lógicos matematicasLos operadores lógicos matematicas
Los operadores lógicos matematicas
 
Tablas De Verdad
Tablas De VerdadTablas De Verdad
Tablas De Verdad
 
Conectores Logicos
Conectores LogicosConectores Logicos
Conectores Logicos
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 

Similar a Tema i (20)

LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
LÓGICA PROPOSICIAONAL
LÓGICA PROPOSICIAONALLÓGICA PROPOSICIAONAL
LÓGICA PROPOSICIAONAL
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Proposiciones logicas
Proposiciones logicasProposiciones logicas
Proposiciones logicas
 
Proposicioneslogicas 101027104111-phpapp02
Proposicioneslogicas 101027104111-phpapp02Proposicioneslogicas 101027104111-phpapp02
Proposicioneslogicas 101027104111-phpapp02
 
Lógica
LógicaLógica
Lógica
 
Lógica
LógicaLógica
Lógica
 
Lógica+pr..
Lógica+pr..Lógica+pr..
Lógica+pr..
 
Logica cuantificad-conjuntos
Logica cuantificad-conjuntosLogica cuantificad-conjuntos
Logica cuantificad-conjuntos
 
Logica proposiciones
Logica   proposicionesLogica   proposiciones
Logica proposiciones
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Presentación Orlando Aponte
Presentación Orlando ApontePresentación Orlando Aponte
Presentación Orlando Aponte
 
Presentación orlando aponte
Presentación orlando apontePresentación orlando aponte
Presentación orlando aponte
 
Cap121 a 33 MECA
Cap121 a 33 MECACap121 a 33 MECA
Cap121 a 33 MECA
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
 

Más de manu Mac

Ejercicios algebra
Ejercicios algebraEjercicios algebra
Ejercicios algebramanu Mac
 
Ejercicios
EjerciciosEjercicios
Ejerciciosmanu Mac
 
Ejercicios
EjerciciosEjercicios
Ejerciciosmanu Mac
 
Ecuacion diferencial
Ecuacion diferencialEcuacion diferencial
Ecuacion diferencialmanu Mac
 
Ecuacion diferencial
Ecuacion diferencialEcuacion diferencial
Ecuacion diferencialmanu Mac
 
Ecuacion diferencial
Ecuacion diferencialEcuacion diferencial
Ecuacion diferencialmanu Mac
 
Dadas las siguientes proposiciones lógicas matemáticas
Dadas las siguientes proposiciones lógicas matemáticasDadas las siguientes proposiciones lógicas matemáticas
Dadas las siguientes proposiciones lógicas matemáticasmanu Mac
 
Ejercicios de vectores
Ejercicios de vectoresEjercicios de vectores
Ejercicios de vectoresmanu Mac
 
Ejercicios de vectores
Ejercicios de vectoresEjercicios de vectores
Ejercicios de vectoresmanu Mac
 
Ejercicios de matrices
Ejercicios de matricesEjercicios de matrices
Ejercicios de matricesmanu Mac
 
Ejercicios de números complejos
Ejercicios de números complejosEjercicios de números complejos
Ejercicios de números complejosmanu Mac
 
Tema i. vectores
Tema i.  vectoresTema i.  vectores
Tema i. vectoresmanu Mac
 
Tema i. vectores
Tema i.  vectoresTema i.  vectores
Tema i. vectoresmanu Mac
 
Tema I. Matrices
Tema I. MatricesTema I. Matrices
Tema I. Matricesmanu Mac
 

Más de manu Mac (16)

Ejercicios algebra
Ejercicios algebraEjercicios algebra
Ejercicios algebra
 
Ejercicios
EjerciciosEjercicios
Ejercicios
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Ejercicios
EjerciciosEjercicios
Ejercicios
 
Ecuacion diferencial
Ecuacion diferencialEcuacion diferencial
Ecuacion diferencial
 
Ecuacion diferencial
Ecuacion diferencialEcuacion diferencial
Ecuacion diferencial
 
Ecuacion diferencial
Ecuacion diferencialEcuacion diferencial
Ecuacion diferencial
 
Dadas las siguientes proposiciones lógicas matemáticas
Dadas las siguientes proposiciones lógicas matemáticasDadas las siguientes proposiciones lógicas matemáticas
Dadas las siguientes proposiciones lógicas matemáticas
 
Ejercicios de vectores
Ejercicios de vectoresEjercicios de vectores
Ejercicios de vectores
 
Ejercicios de vectores
Ejercicios de vectoresEjercicios de vectores
Ejercicios de vectores
 
Ejercicios de matrices
Ejercicios de matricesEjercicios de matrices
Ejercicios de matrices
 
Ejercicios de números complejos
Ejercicios de números complejosEjercicios de números complejos
Ejercicios de números complejos
 
Tema i. vectores
Tema i.  vectoresTema i.  vectores
Tema i. vectores
 
Tema i. vectores
Tema i.  vectoresTema i.  vectores
Tema i. vectores
 
Tema I. Matrices
Tema I. MatricesTema I. Matrices
Tema I. Matrices
 
Tema I
Tema ITema I
Tema I
 

Tema i

  • 1. Lógica Matemática Proposiciones lógicas Tipos de Proposiciones Conectivos Lógicos Lic Barroeta Yelitza.
  • 2. LÓGICA PROPOSICIONAL CONCEPTOS VERDADERO Tiene un único valor PROPOSICIÓN lógico FALSO Proposición Simple Sin conectivos lógicos Ejm. p: Tania es alta. Con conectivos lógicos: y; o; Proposición entonces, etc. Compuesta Ejm. Matías es doctor y Lorena es modelo.
  • 3. NOTA PROPOSICIONES  El azufre es de color amarillo. V  Los mamíferos son vertebrados. V  Susy Dias es una filósofa Peruana. F NO SE CONSIDERAN PROPOSICIONES  ¿Cuál es tu nombre?  ! Auxilio!  Apaga el ventilador ENUNCIADO  Tócame que soy realidad.  I love you !
  • 4. CONCEPTOS Enunciado Es toda frase u Poseen variables x, Expresión oración. y, z, … TIPOS DE PROPOSICIONES PROPOSICIONES PROPOSICIONES SIMPLES COMPUESTAS
  • 5. PROPOSICIONES COMPUESTAS O MOLECULARES Compuesta de dos o más proposiciones simples DENOMINACIÓN SIGNIFICADO SÍMBOLO CONJUNCIÓN y Λ DISYUNCIÓN DÉBIL o V DISYUNCIÓN FUERTE o…o Δ CONDICIONAL si…;entonces → BICONDICIONAL si y solo sí…;entonces ↔ NEGACIÓN no ~ p OBSERV.  p: Eucalipta es doctora. Proposición simple  Pedro es marino y Rayza es Proposición Compuesta abogada p q
  • 6. CONECTIVOS LÓGICOS Proposiciones Conjunción Disyunción Disyunción Condicional Bicondicional Negación Fuerte o Diferencia Débil Simétrica p q Λ V Δ → ↔ ~ p V V V V F V V F V F F V V F F F F V F V V V F V F F F F F V V V
  • 7. Ejm.:Una madre a prometido a su hijo “si comes espinacas y el hígado entonces podrás salir a jugar”. El niño solo come las espinacas, pero la madre le permite salir a jugar. ¿Ha roto la promesa su “madre”? Solución: “si comes espinacas y el hígado entonces podrás salir a jugar”. Λ p q r Se deduce: ( p ∧ q) ⇒ r Por lo tanto la madre no ha roto su promesa. V ∧ F V F ⇒ V = VERDADERO