SlideShare una empresa de Scribd logo
1 de 10
Descargar para leer sin conexión
Republica Bolivariana de Venezuela

Ministerio del Poder Popular para la Educación

         Vicerrectorado Académico

          Universidad Fermín Toro




                                                    Integrantes

                                                 Sergio Méndez

                                                 C.I:20.669.292



     Cabudare, 7 de noviembre del 2012
Una proposición es una oración declarativa de la cual podemos asegurar que es
verdadera o que es falsa, pero no ambas situaciones a la vez.

Las proposiciones se clasifican en:

       Proposiciones simples o atómicas son aquellas que constan de un solo
       enunciado.
       Proposiciones compuestas o moleculares son las que constan de dos o más
       proposiciones simples entrelazadas por ciertas particularidades lógicas llamadas
       conectivos lógicos.

       También existen las clasificaciones de las proposiciones compuestas las cuales
       son:
       La Negación: la conectiva “no” es la que se antepone a una proposición para
       cambiar su valor de verdad y se representa por el siguiente símbolo “~”.
       La Conjunción: es una proposición compuesta que se obtiene al unir dos
       proposiciones simples unidas o entrelazadas mediante el conectivo “y”, y se
       representa con el siguiente símbolo: “ð”.
       La Disyunción Inclusiva: es una proposición compuesta de dos proposiciones
       simples unidas por el conectivo lógica “o”, que se representa de la manera
       siguiente: “V”.
       La Disyunción Exclusiva: es una proposición compuesta por dos proposiciones
       simples entrelazas por el conectivo “o…o” y se representa así: “V”.
       La Condicional o Implicación: es la combinación de dos proposiciones unidas
       por la conectiva “si…entonces…”, que se representa de la forma siguiente: “→“.
       La proposición que aparece entre las palabras “Si y Entonces”, se denomina
       antecedente o hipótesis y la que aparece después de la palabra “Entonces”, se le
       llama consecuente o conclusión.
       La Bicondicional o Doble Implicación: es una proposición que se obtiene al unir
       dos proposiciones simples mediante el conectivo “si y solo si” y se representa
       así:”ð”.

       Las funciones compuestas también están conformadas por una valor de verdad el
       cual es:


La Negación: si una proposición (sea simple o compuesta) es verdadera, su negación es
falsa y viceversa. Ejemplo: si Pes: “Constanza es un municipio de la Vega”, ~ P se
leerá: “no es cierto que Constanza es un municipio de la Vega”.
La Conjunción: esta proposición solo es verdadera cuando las dos proposiciones que la
forman son verdaderas, y en los demás casos será falsa.
La Disyunción Inclusiva: esta proposición es falsa únicamente cuando las dos
proposiciones que la forman son falsa, en caso contrario es verdadera.
La Disyunción Exclusiva: esta solo será verdadera cuando las dos proposiciones que la
componen tienen diferentes valores de verdad, en caso contrario es falsa.
La Condicional o Implicación: una condicional solo es falsa cuando su antecedente es
verdadero y el consecuente es falso; en lo demás casos la condicional es verdadera.
La Bicondicional o Doble Implicación: esta solo es verdadera cuando las dos
proposiciones que la forman tiene el mismo valor de verdad, es decir, cuando las dos
proposiciones que la forman ambas sean verdaderas o ambas falsas. En caso contrario la
Bicondicional es falsa.


De igual forma cada proposición compuesta costa de su respectiva tabla de la verdad
que son las siguientes:


Negación:

     p         ~p

    V             F

     F            V

Conjunción:

    p         q         pðq

    V         V         V

    V         F          F

    F         V          F

    F         F          F

Disyunción Inclusiva:

    p         q         pvq

    V         V         V

    V         F         V

    F         V         V

    F         F          F
Disyunción Exclusiva:

    p          q        pvq

    V          V         F

    V          F        V

    F          V        V

    F          F         F

Condicional o Implicación:

    p          q        p→q

   V           V         V

   V           F         F

    F          V         V

    F          F         V

Bicondicional o Doble Implicación:

    p          q        pðq

   V           V         V

   V           F         F

    F          V         F

    F          F         V


                         CONCEPTO DE TAUTOLOGIA
Una proposición compuesta es lógicamente verdadera o tautológica cuando es verdadera
siempre, independientemente de los valores de verdad de las proposiciones simples que
la forman. Ejemplo:

   p       q            pvq           p→( p v q)

   V       V             V                V

   V       F             V                V

   F       V             V                V

   F       F             F                V
CONCEPTO DE CONTRADICCION
La contradicción: es una proposición compuesta que es falsa independientemente de los
valores de verdad de las proposiciones que la formen. Ejemplo:

   p        ~p       pðq

   V        F          F

   F        V          F

                           CONCEPTO DE CONTINGENCIA
La contingencia: es la combinación de la tautología y la contradicción. Ejemplo :

    p            q      p→q

    V            V         V

    V            F         F

    F            V         V

    F            F         V


Las proposiciones también poseen leyes llamadas leyes del algebra de proposiciones
Las leyes de la algebra de proposiciones son equivalencias lógicas que se pueden
demostrar con el desarrollo de las tablas de verdad del bicondicional. Las leyes del
algebra de proposiciones son las siguientes:


   1.   EQUIVALENCIA
             P⇔P

   2.   INDEPOTENCIA
            P∧P ⇔P
            P∨ P ⇔P

   3. ASOCIATIVA
           P∨Q ∨R ⇔ (P∨Q) ∨R ⇔ P∨(Q∨R)
           P∧Q ∧R ⇔ (P∧Q) ∧R ⇔ P∧(Q∧R)
   4. CONMUTATIVA
           P∧Q⇔ Q∧P
           P∨Q⇔ Q∨P
   5. DISTRIBUTIVAS
          P∧ (Q∨R) ⇔ (P∧Q) ∨ (P∧R)
          P∨ (Q∧R) ⇔ (P∨Q) ∧ (P∨R)
6. IDENTIDAD
         P∧F ⇔ F
         P∧V⇔ P
         P∨F⇔ P
         P∨V⇔V
   7. COMPLEMENTO
         P∧¬P⇔F
         P∨¬P⇔V
         ¬ (¬P) ⇔P
         ¬F⇔V
         ¬V⇔F
   8. DE MORGAN
         ¬ (P∧Q) ⇔ ¬P∨¬Q
         ¬ (P∨Q) ⇔¬P∧¬Q
   9. ABSORCION
          P∧ (P∨Q) ⇔P
          P∨ (P∧Q) ⇔




Se pueden realizar circuitos lógicos usando proposiciones estos se hacen de la siguiente
forma:

Un circuito lógico es un conjunto de símbolos y operaciones que satisfacen las reglas de
la lógica, simulando el comportamiento real de un circuito eléctrico.

Circuito en serie:

Sean los interruptores P y Q; su conexión en serie (en una misma línea), dada por:




En este circuito pasara corriente solo en caso que P y Q se encuentren cerrados. Así
tenemos el comportamiento de la conjunción:
Slideshare sergio mendez
Slideshare sergio mendez
Slideshare sergio mendez
Slideshare sergio mendez

Más contenido relacionado

La actualidad más candente (20)

Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Las tablas de verdad
Las tablas de verdadLas tablas de verdad
Las tablas de verdad
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
11 LóGica Proposicional
11  LóGica Proposicional11  LóGica Proposicional
11 LóGica Proposicional
 
Tablas de verdad_c_
Tablas de verdad_c_Tablas de verdad_c_
Tablas de verdad_c_
 
Calculo proposicional saia asig1
Calculo proposicional  saia asig1Calculo proposicional  saia asig1
Calculo proposicional saia asig1
 
Tarea de saia
Tarea de saiaTarea de saia
Tarea de saia
 
Tarea de saia
Tarea de saiaTarea de saia
Tarea de saia
 
Tarea n`1
Tarea n`1Tarea n`1
Tarea n`1
 
Logica
LogicaLogica
Logica
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Formulario de Lógica
Formulario de LógicaFormulario de Lógica
Formulario de Lógica
 
OPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: PrácticaOPERACIONES LÓGICAS: Práctica
OPERACIONES LÓGICAS: Práctica
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Logica [autoguardado]
Logica [autoguardado]Logica [autoguardado]
Logica [autoguardado]
 
Valores de verdad
Valores de verdadValores de verdad
Valores de verdad
 

Destacado (20)

Feria salud 14
Feria salud 14Feria salud 14
Feria salud 14
 
Etimología
EtimologíaEtimología
Etimología
 
Powernord
PowernordPowernord
Powernord
 
Antonio Gaudí - CMC - Carla Huste
Antonio Gaudí - CMC - Carla HusteAntonio Gaudí - CMC - Carla Huste
Antonio Gaudí - CMC - Carla Huste
 
Nuevas tendencias de la comunicación
Nuevas tendencias de la comunicaciónNuevas tendencias de la comunicación
Nuevas tendencias de la comunicación
 
Competencias sistmicas actividad 13 jesus eduardo valdes
Competencias sistmicas actividad 13 jesus eduardo valdesCompetencias sistmicas actividad 13 jesus eduardo valdes
Competencias sistmicas actividad 13 jesus eduardo valdes
 
Mecanica
MecanicaMecanica
Mecanica
 
Auryn
AurynAuryn
Auryn
 
Cumple Nikki y Sammy
Cumple Nikki y SammyCumple Nikki y Sammy
Cumple Nikki y Sammy
 
Olha teu jardim
Olha teu jardimOlha teu jardim
Olha teu jardim
 
ITGSM2014-M23-CITYMES
ITGSM2014-M23-CITYMESITGSM2014-M23-CITYMES
ITGSM2014-M23-CITYMES
 
Contos da Lili
Contos da LiliContos da Lili
Contos da Lili
 
Software e seus universos
Software e seus universosSoftware e seus universos
Software e seus universos
 
Deber de monge 1
Deber de monge 1Deber de monge 1
Deber de monge 1
 
Kato excavators hd512 iii
Kato excavators hd512 iiiKato excavators hd512 iii
Kato excavators hd512 iii
 
Oniria Simuladores
Oniria SimuladoresOniria Simuladores
Oniria Simuladores
 
Italia
ItaliaItalia
Italia
 
Alcool e velocidade
Alcool e velocidadeAlcool e velocidade
Alcool e velocidade
 
Dia da criança pp
Dia da criança ppDia da criança pp
Dia da criança pp
 
Herramientas web
Herramientas webHerramientas web
Herramientas web
 

Similar a Slideshare sergio mendez

Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.Jorgexm01
 
T logica
T logicaT logica
T logicaDaniel
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbertASIGNACIONUFT
 
Matemática I (parte 1)
Matemática I   (parte 1)Matemática I   (parte 1)
Matemática I (parte 1)enzo1424
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicionalSael0001
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretasYessica Fernandez
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretasluis_tovar85
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalluisgilc30
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlogeovannyboss_1
 
Calculo Proposicional
Calculo Proposicional Calculo Proposicional
Calculo Proposicional Luis Torres
 
Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)natali1145ca
 

Similar a Slideshare sergio mendez (20)

Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
Logica
LogicaLogica
Logica
 
Segundactividalber
SegundactividalberSegundactividalber
Segundactividalber
 
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
 
T logica
T logicaT logica
T logica
 
Estructura discreta limbert
Estructura discreta limbertEstructura discreta limbert
Estructura discreta limbert
 
Cap121 a 33 MECA
Cap121 a 33 MECACap121 a 33 MECA
Cap121 a 33 MECA
 
Matemática I (parte 1)
Matemática I   (parte 1)Matemática I   (parte 1)
Matemática I (parte 1)
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
proposiciones
proposicionesproposiciones
proposiciones
 
LOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.pptLOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.ppt
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
 
Unidad i estructuras discretas
Unidad i estructuras discretasUnidad i estructuras discretas
Unidad i estructuras discretas
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Calculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merloCalculo proposicional. geovanny_merlo
Calculo proposicional. geovanny_merlo
 
Calculo Proposicional
Calculo Proposicional Calculo Proposicional
Calculo Proposicional
 
Matematica basica 01
Matematica basica 01Matematica basica 01
Matematica basica 01
 
Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)Calculo proposicional (tarea 1)
Calculo proposicional (tarea 1)
 

Más de sergiomendez25

sistema satélital para realizar la transmisión de la copa america
sistema satélital para realizar la transmisión de la copa americasistema satélital para realizar la transmisión de la copa america
sistema satélital para realizar la transmisión de la copa americasergiomendez25
 
Organismos legales que controlan la higiene y seguridad industrial
Organismos legales que controlan la higiene y seguridad industrialOrganismos legales que controlan la higiene y seguridad industrial
Organismos legales que controlan la higiene y seguridad industrialsergiomendez25
 
Paradigmas Tecno economicos y Oleadas de desarrollo
Paradigmas Tecno economicos y Oleadas de desarrolloParadigmas Tecno economicos y Oleadas de desarrollo
Paradigmas Tecno economicos y Oleadas de desarrollosergiomendez25
 
AST (análisis de seguro de trabajo) supervisor de obra
AST (análisis de seguro de trabajo) supervisor de obraAST (análisis de seguro de trabajo) supervisor de obra
AST (análisis de seguro de trabajo) supervisor de obrasergiomendez25
 

Más de sergiomendez25 (7)

sistema satélital para realizar la transmisión de la copa america
sistema satélital para realizar la transmisión de la copa americasistema satélital para realizar la transmisión de la copa america
sistema satélital para realizar la transmisión de la copa america
 
Organismos legales que controlan la higiene y seguridad industrial
Organismos legales que controlan la higiene y seguridad industrialOrganismos legales que controlan la higiene y seguridad industrial
Organismos legales que controlan la higiene y seguridad industrial
 
Paradigmas Tecno economicos y Oleadas de desarrollo
Paradigmas Tecno economicos y Oleadas de desarrolloParadigmas Tecno economicos y Oleadas de desarrollo
Paradigmas Tecno economicos y Oleadas de desarrollo
 
AST (análisis de seguro de trabajo) supervisor de obra
AST (análisis de seguro de trabajo) supervisor de obraAST (análisis de seguro de trabajo) supervisor de obra
AST (análisis de seguro de trabajo) supervisor de obra
 
Mapa de riesgo
Mapa de riesgo Mapa de riesgo
Mapa de riesgo
 
Moviles pdf sergio
Moviles pdf sergio Moviles pdf sergio
Moviles pdf sergio
 
Transmision de datos
Transmision de datosTransmision de datos
Transmision de datos
 

Slideshare sergio mendez

  • 1. Republica Bolivariana de Venezuela Ministerio del Poder Popular para la Educación Vicerrectorado Académico Universidad Fermín Toro Integrantes Sergio Méndez C.I:20.669.292 Cabudare, 7 de noviembre del 2012
  • 2. Una proposición es una oración declarativa de la cual podemos asegurar que es verdadera o que es falsa, pero no ambas situaciones a la vez. Las proposiciones se clasifican en: Proposiciones simples o atómicas son aquellas que constan de un solo enunciado. Proposiciones compuestas o moleculares son las que constan de dos o más proposiciones simples entrelazadas por ciertas particularidades lógicas llamadas conectivos lógicos. También existen las clasificaciones de las proposiciones compuestas las cuales son: La Negación: la conectiva “no” es la que se antepone a una proposición para cambiar su valor de verdad y se representa por el siguiente símbolo “~”. La Conjunción: es una proposición compuesta que se obtiene al unir dos proposiciones simples unidas o entrelazadas mediante el conectivo “y”, y se representa con el siguiente símbolo: “ð”. La Disyunción Inclusiva: es una proposición compuesta de dos proposiciones simples unidas por el conectivo lógica “o”, que se representa de la manera siguiente: “V”. La Disyunción Exclusiva: es una proposición compuesta por dos proposiciones simples entrelazas por el conectivo “o…o” y se representa así: “V”. La Condicional o Implicación: es la combinación de dos proposiciones unidas por la conectiva “si…entonces…”, que se representa de la forma siguiente: “→“. La proposición que aparece entre las palabras “Si y Entonces”, se denomina antecedente o hipótesis y la que aparece después de la palabra “Entonces”, se le llama consecuente o conclusión. La Bicondicional o Doble Implicación: es una proposición que se obtiene al unir dos proposiciones simples mediante el conectivo “si y solo si” y se representa así:”ð”. Las funciones compuestas también están conformadas por una valor de verdad el cual es: La Negación: si una proposición (sea simple o compuesta) es verdadera, su negación es falsa y viceversa. Ejemplo: si Pes: “Constanza es un municipio de la Vega”, ~ P se leerá: “no es cierto que Constanza es un municipio de la Vega”. La Conjunción: esta proposición solo es verdadera cuando las dos proposiciones que la forman son verdaderas, y en los demás casos será falsa. La Disyunción Inclusiva: esta proposición es falsa únicamente cuando las dos proposiciones que la forman son falsa, en caso contrario es verdadera.
  • 3. La Disyunción Exclusiva: esta solo será verdadera cuando las dos proposiciones que la componen tienen diferentes valores de verdad, en caso contrario es falsa. La Condicional o Implicación: una condicional solo es falsa cuando su antecedente es verdadero y el consecuente es falso; en lo demás casos la condicional es verdadera. La Bicondicional o Doble Implicación: esta solo es verdadera cuando las dos proposiciones que la forman tiene el mismo valor de verdad, es decir, cuando las dos proposiciones que la forman ambas sean verdaderas o ambas falsas. En caso contrario la Bicondicional es falsa. De igual forma cada proposición compuesta costa de su respectiva tabla de la verdad que son las siguientes: Negación: p ~p V F F V Conjunción: p q pðq V V V V F F F V F F F F Disyunción Inclusiva: p q pvq V V V V F V F V V F F F
  • 4. Disyunción Exclusiva: p q pvq V V F V F V F V V F F F Condicional o Implicación: p q p→q V V V V F F F V V F F V Bicondicional o Doble Implicación: p q pðq V V V V F F F V F F F V CONCEPTO DE TAUTOLOGIA Una proposición compuesta es lógicamente verdadera o tautológica cuando es verdadera siempre, independientemente de los valores de verdad de las proposiciones simples que la forman. Ejemplo: p q pvq p→( p v q) V V V V V F V V F V V V F F F V
  • 5. CONCEPTO DE CONTRADICCION La contradicción: es una proposición compuesta que es falsa independientemente de los valores de verdad de las proposiciones que la formen. Ejemplo: p ~p pðq V F F F V F CONCEPTO DE CONTINGENCIA La contingencia: es la combinación de la tautología y la contradicción. Ejemplo : p q p→q V V V V F F F V V F F V Las proposiciones también poseen leyes llamadas leyes del algebra de proposiciones Las leyes de la algebra de proposiciones son equivalencias lógicas que se pueden demostrar con el desarrollo de las tablas de verdad del bicondicional. Las leyes del algebra de proposiciones son las siguientes: 1. EQUIVALENCIA P⇔P 2. INDEPOTENCIA P∧P ⇔P P∨ P ⇔P 3. ASOCIATIVA P∨Q ∨R ⇔ (P∨Q) ∨R ⇔ P∨(Q∨R) P∧Q ∧R ⇔ (P∧Q) ∧R ⇔ P∧(Q∧R) 4. CONMUTATIVA P∧Q⇔ Q∧P P∨Q⇔ Q∨P 5. DISTRIBUTIVAS P∧ (Q∨R) ⇔ (P∧Q) ∨ (P∧R) P∨ (Q∧R) ⇔ (P∨Q) ∧ (P∨R)
  • 6. 6. IDENTIDAD P∧F ⇔ F P∧V⇔ P P∨F⇔ P P∨V⇔V 7. COMPLEMENTO P∧¬P⇔F P∨¬P⇔V ¬ (¬P) ⇔P ¬F⇔V ¬V⇔F 8. DE MORGAN ¬ (P∧Q) ⇔ ¬P∨¬Q ¬ (P∨Q) ⇔¬P∧¬Q 9. ABSORCION P∧ (P∨Q) ⇔P P∨ (P∧Q) ⇔ Se pueden realizar circuitos lógicos usando proposiciones estos se hacen de la siguiente forma: Un circuito lógico es un conjunto de símbolos y operaciones que satisfacen las reglas de la lógica, simulando el comportamiento real de un circuito eléctrico. Circuito en serie: Sean los interruptores P y Q; su conexión en serie (en una misma línea), dada por: En este circuito pasara corriente solo en caso que P y Q se encuentren cerrados. Así tenemos el comportamiento de la conjunción: