SlideShare una empresa de Scribd logo
1 de 8
LÓGICA PROPOSICIONAL
CONCEPTOS PREVIOS
                                      VERDADERO

                    Tiene un único
PROPOSICIÓN
                     valor lógico

                                         FALSO


                    Proposición       Sin conectivos
                      Simple              lógicos
                                     Ejm. p: Tania es alta.

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

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

 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 PREVIOS II

       ENUNCIADO                Es toda frase
                                 u oración.

                                Enunciado             Poseen variables
                                 abierto                 x, y, z, …

         Ejm.: Para los siguientes enunciados
          Levántate temprano.
          x+y =7                                          E. Abierto.
          ¿Qué hora es?
          5+3<7
         a)   2 son proposiciones.
         b)   2 son enunciados abiertos.
RPTA     c)   2 no son ni proposiciones ni enunciados abiertos.
         d)   3 son proposiciones.
         e)   3 son enunciados abiertos.
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
abogada
         p                        q                              Proposición Compuesta
CONECTIVOS LÓGICOS
                                     (SUMARIO)
                                                                    Solo es FALSO si
                                                                    VF= F en los demás
                                                                    casos es
                               DISYUNCIÓN                           verdadero.
     COMPONENTES CONJUNCIÓN                 DISYUNCIÓN CONDICIONAL BICONDICIONAL NEGACIÓN

                                  DÉBIL       FUERTE


       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




Solo es VERDADERO                                                      Es VERDADERO si
si VV = V en los demás       Solo es FALSO si FF = F
                             en los demás casos es                     VV =V
casos es falso.                                                        FF =V en los demás
                             verdadero.
                                                                       casos es falso.
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”?
     SOLUCION.:
“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
     V   ∧F        V                    su promesa.
         F    ⇒    V   = VERDADERO
ANEXO
                            CONECTIVOS LÓGICOS
                                 (SUMARIO)




COMPONENTES CONJUNCIÓN   DISYUNCIÓN   DISYUNCIÓN CONDICIONAL BICONDICIONAL   NEGACIÓN

                            DÉBIL      FUERTE

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

Más contenido relacionado

La actualidad más candente

Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicionalcepecole
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicionalRonald Wielman
 
Homomorfismo de monoide y de cuerpo
Homomorfismo de monoide y de cuerpoHomomorfismo de monoide y de cuerpo
Homomorfismo de monoide y de cuerpoPatricia Herrera
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusionPerez Kyria
 
Ecuaciones exponenciales
Ecuaciones exponencialesEcuaciones exponenciales
Ecuaciones exponencialesRafaelBeltr
 
UNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONALUNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONALCristhian Yarleque
 
Introduccion a la logica de proposiciones ccesa007
Introduccion a la logica de  proposiciones ccesa007Introduccion a la logica de  proposiciones ccesa007
Introduccion a la logica de proposiciones ccesa007Demetrio Ccesa Rayme
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguPato Hernandez
 
Trabajo 1 algebra ´prueba
Trabajo 1 algebra ´pruebaTrabajo 1 algebra ´prueba
Trabajo 1 algebra ´pruebaEstefania765850
 
PENSAMIENTO MATEMÁTICO UNADM
PENSAMIENTO MATEMÁTICO UNADMPENSAMIENTO MATEMÁTICO UNADM
PENSAMIENTO MATEMÁTICO UNADMLuisa Mee 666
 
Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaLogicaUFM2012
 
Ejercicio 4.46-t
Ejercicio 4.46-tEjercicio 4.46-t
Ejercicio 4.46-tMiguel Pla
 
Implicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdfImplicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdfKelvinLopez24
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional Yuly Oyanguren
 
Propiedades de lo Operadores Logico
Propiedades de lo Operadores LogicoPropiedades de lo Operadores Logico
Propiedades de lo Operadores Logicojowellalvarezmera
 

La actualidad más candente (20)

Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
Homomorfismo de monoide y de cuerpo
Homomorfismo de monoide y de cuerpoHomomorfismo de monoide y de cuerpo
Homomorfismo de monoide y de cuerpo
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Ecuaciones exponenciales
Ecuaciones exponencialesEcuaciones exponenciales
Ecuaciones exponenciales
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
UNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONALUNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONAL
 
Introduccion a la logica de proposiciones ccesa007
Introduccion a la logica de  proposiciones ccesa007Introduccion a la logica de  proposiciones ccesa007
Introduccion a la logica de proposiciones ccesa007
 
Trabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bguTrabajo de logica matematica 3 bgu
Trabajo de logica matematica 3 bgu
 
Trabajo 1 algebra ´prueba
Trabajo 1 algebra ´pruebaTrabajo 1 algebra ´prueba
Trabajo 1 algebra ´prueba
 
PENSAMIENTO MATEMÁTICO UNADM
PENSAMIENTO MATEMÁTICO UNADMPENSAMIENTO MATEMÁTICO UNADM
PENSAMIENTO MATEMÁTICO UNADM
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
Compendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica SimbólicaCompendio de Reglas de Inferencia - Lógica Simbólica
Compendio de Reglas de Inferencia - Lógica Simbólica
 
Ejercicio 4.46-t
Ejercicio 4.46-tEjercicio 4.46-t
Ejercicio 4.46-t
 
Implicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdfImplicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdf
 
Lógica proposicional
Lógica proposicional Lógica proposicional
Lógica proposicional
 
Propiedades de lo Operadores Logico
Propiedades de lo Operadores LogicoPropiedades de lo Operadores Logico
Propiedades de lo Operadores Logico
 
Tautologías
TautologíasTautologías
Tautologías
 

Destacado

Balcones con piscinas
Balcones con piscinasBalcones con piscinas
Balcones con piscinasNorma Dilena
 
LOGICA PROPOSICIONAL
LOGICA PROPOSICIONALLOGICA PROPOSICIONAL
LOGICA PROPOSICIONALjoromaya
 
Antibioticos en paciente critico
Antibioticos en paciente criticoAntibioticos en paciente critico
Antibioticos en paciente criticoNicolas Solano
 
Black eyed peas
Black eyed peasBlack eyed peas
Black eyed peasBrunocurra
 
La revolució Industrial
La revolució IndustrialLa revolució Industrial
La revolució Industrialneusgr
 
Proyecto 2012 secundaria y videoteca final
Proyecto 2012 secundaria y videoteca finalProyecto 2012 secundaria y videoteca final
Proyecto 2012 secundaria y videoteca finalFABIOINDIGO
 
17 comunidad de renens programa 13 mayo 2012
17 comunidad de renens programa 13 mayo 201217 comunidad de renens programa 13 mayo 2012
17 comunidad de renens programa 13 mayo 2012Paulino Gonzalez
 
Power Setmana Activitats
Power Setmana ActivitatsPower Setmana Activitats
Power Setmana ActivitatsAgustí
 
Examen David Juarez 4to D
Examen David Juarez 4to DExamen David Juarez 4to D
Examen David Juarez 4to Ddavidjuarez
 
Dossier y Tarifario Spanish Way
Dossier y Tarifario Spanish WayDossier y Tarifario Spanish Way
Dossier y Tarifario Spanish WaySpanish Way
 
Estándares De Calidad Aplicados Al Software
Estándares De Calidad Aplicados Al SoftwareEstándares De Calidad Aplicados Al Software
Estándares De Calidad Aplicados Al Softwareyolanda
 
Cuadros De Una Exposición
Cuadros De Una ExposiciónCuadros De Una Exposición
Cuadros De Una Exposiciónapaloma
 
C:\Users\Tania Pineda\Documents\Unah Vs Infomatica\Info Odontologia\Proyecto ...
C:\Users\Tania Pineda\Documents\Unah Vs Infomatica\Info Odontologia\Proyecto ...C:\Users\Tania Pineda\Documents\Unah Vs Infomatica\Info Odontologia\Proyecto ...
C:\Users\Tania Pineda\Documents\Unah Vs Infomatica\Info Odontologia\Proyecto ...Tania Pineda
 
Memoria Adf Catllar Montgrony 2012
Memoria Adf Catllar Montgrony 2012Memoria Adf Catllar Montgrony 2012
Memoria Adf Catllar Montgrony 2012Jordi Munell
 

Destacado (20)

Balcones con piscinas
Balcones con piscinasBalcones con piscinas
Balcones con piscinas
 
LOGICA PROPOSICIONAL
LOGICA PROPOSICIONALLOGICA PROPOSICIONAL
LOGICA PROPOSICIONAL
 
Antibioticos en paciente critico
Antibioticos en paciente criticoAntibioticos en paciente critico
Antibioticos en paciente critico
 
Black eyed peas
Black eyed peasBlack eyed peas
Black eyed peas
 
La revolució Industrial
La revolució IndustrialLa revolució Industrial
La revolució Industrial
 
Un juego sobre la reforma laboral
Un juego sobre la reforma laboralUn juego sobre la reforma laboral
Un juego sobre la reforma laboral
 
Proyecto 2012 secundaria y videoteca final
Proyecto 2012 secundaria y videoteca finalProyecto 2012 secundaria y videoteca final
Proyecto 2012 secundaria y videoteca final
 
17 comunidad de renens programa 13 mayo 2012
17 comunidad de renens programa 13 mayo 201217 comunidad de renens programa 13 mayo 2012
17 comunidad de renens programa 13 mayo 2012
 
Power Setmana Activitats
Power Setmana ActivitatsPower Setmana Activitats
Power Setmana Activitats
 
Consulto General
Consulto GeneralConsulto General
Consulto General
 
Examen
ExamenExamen
Examen
 
Examen David Juarez 4to D
Examen David Juarez 4to DExamen David Juarez 4to D
Examen David Juarez 4to D
 
Dossier y Tarifario Spanish Way
Dossier y Tarifario Spanish WayDossier y Tarifario Spanish Way
Dossier y Tarifario Spanish Way
 
Estándares De Calidad Aplicados Al Software
Estándares De Calidad Aplicados Al SoftwareEstándares De Calidad Aplicados Al Software
Estándares De Calidad Aplicados Al Software
 
Cuadros De Una Exposición
Cuadros De Una ExposiciónCuadros De Una Exposición
Cuadros De Una Exposición
 
Javascript
JavascriptJavascript
Javascript
 
C:\Users\Tania Pineda\Documents\Unah Vs Infomatica\Info Odontologia\Proyecto ...
C:\Users\Tania Pineda\Documents\Unah Vs Infomatica\Info Odontologia\Proyecto ...C:\Users\Tania Pineda\Documents\Unah Vs Infomatica\Info Odontologia\Proyecto ...
C:\Users\Tania Pineda\Documents\Unah Vs Infomatica\Info Odontologia\Proyecto ...
 
Proyecto Finalsel(1)
Proyecto Finalsel(1)Proyecto Finalsel(1)
Proyecto Finalsel(1)
 
Memoria Adf Catllar Montgrony 2012
Memoria Adf Catllar Montgrony 2012Memoria Adf Catllar Montgrony 2012
Memoria Adf Catllar Montgrony 2012
 
Problemes desenolupament
Problemes desenolupamentProblemes desenolupament
Problemes desenolupament
 

Similar a LÓGICA PROPOSICIONAL (20)

Tarea de saia
Tarea de saiaTarea de saia
Tarea de saia
 
Tarea de saia
Tarea de saiaTarea de saia
Tarea de saia
 
Tema i
Tema iTema i
Tema i
 
Tema I
Tema ITema I
Tema I
 
Sesion 03 proposiciones logicas 07
Sesion 03  proposiciones logicas  07Sesion 03  proposiciones logicas  07
Sesion 03 proposiciones logicas 07
 
Sesion 03 proposiciones logicas
Sesion 03  proposiciones logicasSesion 03  proposiciones logicas
Sesion 03 proposiciones logicas
 
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
 
Logica matemática
Logica matemáticaLogica matemática
Logica matemática
 
Logica cuantificad-conjuntos
Logica cuantificad-conjuntosLogica cuantificad-conjuntos
Logica cuantificad-conjuntos
 
Presentación1
Presentación1Presentación1
Presentación1
 
Slideshare sergio mendez
Slideshare sergio mendezSlideshare sergio mendez
Slideshare sergio mendez
 
Lógica+pr..
Lógica+pr..Lógica+pr..
Lógica+pr..
 
Conectivos Lógicos
Conectivos LógicosConectivos Lógicos
Conectivos Lógicos
 
Conectivos
ConectivosConectivos
Conectivos
 
Conectivos
ConectivosConectivos
Conectivos
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 

Más de joromaya

Problemas 2 pautas
Problemas 2 pautasProblemas 2 pautas
Problemas 2 pautasjoromaya
 
Angulos ab
Angulos abAngulos ab
Angulos abjoromaya
 
Estrategias de estudio de la matemática
Estrategias de estudio de la matemáticaEstrategias de estudio de la matemática
Estrategias de estudio de la matemáticajoromaya
 
ESTRATEGIAS DE ESTUDIO
ESTRATEGIAS DE ESTUDIOESTRATEGIAS DE ESTUDIO
ESTRATEGIAS DE ESTUDIOjoromaya
 
LÓGICA PROPOSICIAONAL
LÓGICA PROPOSICIAONALLÓGICA PROPOSICIAONAL
LÓGICA PROPOSICIAONALjoromaya
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALjoromaya
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALjoromaya
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL joromaya
 
Funcionesfib
FuncionesfibFuncionesfib
Funcionesfibjoromaya
 

Más de joromaya (10)

Problemas 2 pautas
Problemas 2 pautasProblemas 2 pautas
Problemas 2 pautas
 
Angulos ab
Angulos abAngulos ab
Angulos ab
 
Estrategias de estudio de la matemática
Estrategias de estudio de la matemáticaEstrategias de estudio de la matemática
Estrategias de estudio de la matemática
 
ESTRATEGIAS DE ESTUDIO
ESTRATEGIAS DE ESTUDIOESTRATEGIAS DE ESTUDIO
ESTRATEGIAS DE ESTUDIO
 
LÓGICA PROPOSICIAONAL
LÓGICA PROPOSICIAONALLÓGICA PROPOSICIAONAL
LÓGICA PROPOSICIAONAL
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Funcionesfib
FuncionesfibFuncionesfib
Funcionesfib
 
FUNCIONES
FUNCIONESFUNCIONES
FUNCIONES
 

LÓGICA PROPOSICIONAL

  • 1.
  • 2. LÓGICA PROPOSICIONAL CONCEPTOS PREVIOS VERDADERO Tiene un único PROPOSICIÓN valor lógico FALSO Proposición Sin conectivos Simple lógicos Ejm. p: Tania es alta. Con conectivos Proposición lógicos: y; o; Compuesta entonces, etc. Ejm. Matías es doctor y Lorena es modelo.
  • 3. OBSERV. 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 PREVIOS II ENUNCIADO Es toda frase u oración. Enunciado Poseen variables abierto x, y, z, … Ejm.: Para los siguientes enunciados  Levántate temprano.  x+y =7 E. Abierto.  ¿Qué hora es?  5+3<7 a) 2 son proposiciones. b) 2 son enunciados abiertos. RPTA c) 2 no son ni proposiciones ni enunciados abiertos. d) 3 son proposiciones. e) 3 son enunciados abiertos.
  • 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 abogada p q Proposición Compuesta
  • 6. CONECTIVOS LÓGICOS (SUMARIO) Solo es FALSO si VF= F en los demás casos es DISYUNCIÓN verdadero. COMPONENTES CONJUNCIÓN DISYUNCIÓN CONDICIONAL BICONDICIONAL NEGACIÓN DÉBIL FUERTE 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 Solo es VERDADERO Es VERDADERO si si VV = V en los demás Solo es FALSO si FF = F en los demás casos es VV =V casos es falso. FF =V en los demás verdadero. casos es falso.
  • 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”? SOLUCION.: “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 V ∧F V su promesa. F ⇒ V = VERDADERO
  • 8. ANEXO CONECTIVOS LÓGICOS (SUMARIO) COMPONENTES CONJUNCIÓN DISYUNCIÓN DISYUNCIÓN CONDICIONAL BICONDICIONAL NEGACIÓN DÉBIL FUERTE 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