SlideShare una empresa de Scribd logo
1 de 14
Universidad “Fermín Toro”
 Facultad de Ingeniería
  Estructuras Discretas




  Proposiciones



                             Realizado por:
                            Orlando Aponte
Es un enunciado que esta
                      codificado y puede ser
                      codificado


                             Codificación:
                             1        VERDADERO
Proposiciones                0       FALSO




           Ejemplos:
           p: Caracas es la capital de Venezuela
           (VERDADERO).
           q: 10 es un numero primo (FALSO).
Valor Lógico
Denotamos como valor lógico (VL) al valor 1 si la proposición es
  verdadera y 0 si es falsa.
 Ejemplo:
Tomando el ejemplo anterior
VL(p)= 1
VL(q)= 0
                   Operaciones Veritativas
Atómicas o simples:
Es cuando la proposición no contiene conectivos lógicos.
 Ejemplo:
Los estudiantes universitarios son aplicados.
Operaciones Veritativas
  Son conectivos utilizados para formar nuevas proposiciones

 Conectivos                     Operación
               ~                Negación
               ^                Conjunción o producto lógico
               V                Disyunción o suma lógica
                                Implicación o condicional
                                Incondicional
               ⊻                Disyunción exclusiva
Negación
 Identificada por ~


                            Ejemplo

p: todos los mamíferos comen carne

~p: no es cierto que todos los mamíferos comen carne
Conjunción
Es un operador lógico que resulta en verdadero si las
          dos proposiciones son ciertas
Ejemplo:
p: todas las aves ponen huevos. VL=1
q: chaves es nuestro presidente. VL= 1
r: el año tiene 10 meses. VL=0
p^q: todas las aves ponen huevos y Chávez es nuestro
presidente


   p=1             q=1             p^q=1
   q=1             r=1             q^r= 0
Disyunción Exclusiva
 Es un operador lógico q resulta en verdadero si cualquiera
            de las proposiciones es verdadera


Ejemplo:
P: el pato es un ave. VL=1
q: el cocodrilo es un mamífero. VL=0
r: la lechuga es un vegetal. VL=0



        p= 1            q= 0            pvq= 1
        q= 0            r= 0            pvr= 0
Implicación
Tiene un antecedente y un consecuente. Así tenemos que:

   p: el martes es un día de la semana. VL= 1
   q: el año tiene 365 días. VL=1
   r: la semana tiene 4 días. VL= 0
   s: el día tiene 26 horas. VL= 0

    p= 1            q= 1             p   q= 1
    p= 1            r= 0             p    r= 0
    r= 0            q= 1             r   q= 1
    r= 0            s= 0             r   s= 1
Bicondicional
   Proposición que es verdadera si el VL de ambas es igual


                           Ejemplo:
p: El diámetro de una circunferencia es 2 veces el radio. VL= 1
q: Un año tiene 365 días. VL=1
r:Una hora tiene 3600 minutos. VL=0
s: El sushi es peruano. VL=0
      p                q                p    q= 1
      q                r                q    r= 0
      r                s                r    s= 1
      p                s                p    s= 0
Tautología
Se denomina tautología una proposición que es cierta para
   cualquier valor de verdad de sus componentes.

                    Contradicción
Se define como la negación de una tautología, luego es una
proposición falsa cualesquiera sea el valor de
verdad de sus componentes. La última columna de la tabla
de verdad de una contradicción estará formada
únicamente por 0 (falso)”.
Leyes del Algebra de Proposiciones

 Leyes Idempotentes
    Leyes Asociativas
   Leyes Conmutativas
   Leyes Distributivas
   Leyes de Identidad
   Leyes de Complementación
   Leyes De Morgan
Métodos de Demostración

• Demostración Directa
Conjunto de proposiciones o premisas que son postulados o
  proposiciones de validez aceptada y de las cuales se infiere
  como consecuencia inmediata.

• Demostración Indirecta
Se realiza una demostración indirecta cuando se establece la
   validez de una tesis p probando que las consecuencias de su
   contraria son falsas.
Circuitos Lógicos
  Dada las forma proposicional podemos asociarle un circuito y
 viceversa. Además utilizando el algebra proposicional podemos
        simplificar en circuitos equivalentes mas sencillos
Representaremos las conexiones en serie como:
              p                q p^q
Representaremos las conexiones
                 p
                                 pvq
                q
Ejemplo
          r       q
p   q
              ~s
    (p^q)^[(r^q)v~s]

Más contenido relacionado

La actualidad más candente

La actualidad más candente (18)

Las proposiciones
Las proposicionesLas proposiciones
Las proposiciones
 
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
 
Calculo Proposicional.
Calculo Proposicional.Calculo Proposicional.
Calculo Proposicional.
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Estructura discreta 2
Estructura discreta 2Estructura discreta 2
Estructura discreta 2
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
 
Nociones de lógica
Nociones de lógicaNociones de lógica
Nociones de lógica
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
 
Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.
 
Lógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional ILógica y Cálculo Proposicional I
Lógica y Cálculo Proposicional I
 
Presentación1
Presentación1Presentación1
Presentación1
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Repaso Algebra Proposicional
Repaso Algebra ProposicionalRepaso Algebra Proposicional
Repaso Algebra Proposicional
 
Introduccion a la logica simbolica
Introduccion a la logica simbolicaIntroduccion a la logica simbolica
Introduccion a la logica simbolica
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
11 LóGica Proposicional
11  LóGica Proposicional11  LóGica Proposicional
11 LóGica Proposicional
 

Destacado

Asignacion 3 jose juhasz
Asignacion 3 jose juhaszAsignacion 3 jose juhasz
Asignacion 3 jose juhaszjose_juhasz
 
Examen virtual jose juhasz
Examen virtual jose juhaszExamen virtual jose juhasz
Examen virtual jose juhaszjose_juhasz
 
Presentación orlando aponte
Presentación orlando apontePresentación orlando aponte
Presentación orlando aponteAponteOrlandoUFT
 
ALGEBRA LINEAL MATRIZ
ALGEBRA LINEAL MATRIZALGEBRA LINEAL MATRIZ
ALGEBRA LINEAL MATRIZErick Gil
 
TIPOS DE BIOMAS U.F.T
TIPOS DE BIOMAS U.F.TTIPOS DE BIOMAS U.F.T
TIPOS DE BIOMAS U.F.TJorge Mendoza
 

Destacado (7)

Trabajo 1
Trabajo 1Trabajo 1
Trabajo 1
 
ejercicios de fisica
ejercicios de fisicaejercicios de fisica
ejercicios de fisica
 
Asignacion 3 jose juhasz
Asignacion 3 jose juhaszAsignacion 3 jose juhasz
Asignacion 3 jose juhasz
 
Examen virtual jose juhasz
Examen virtual jose juhaszExamen virtual jose juhasz
Examen virtual jose juhasz
 
Presentación orlando aponte
Presentación orlando apontePresentación orlando aponte
Presentación orlando aponte
 
ALGEBRA LINEAL MATRIZ
ALGEBRA LINEAL MATRIZALGEBRA LINEAL MATRIZ
ALGEBRA LINEAL MATRIZ
 
TIPOS DE BIOMAS U.F.T
TIPOS DE BIOMAS U.F.TTIPOS DE BIOMAS U.F.T
TIPOS DE BIOMAS U.F.T
 

Similar a Presentación orlando aponte uft

Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalherostara
 
Unidad i calculo proporcional
Unidad i calculo proporcionalUnidad i calculo proporcional
Unidad i calculo proporcionalOswaldo Perez
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique Bonilla
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i14879114
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)pedrobombace
 
estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630Marislieth96
 
Estructura Discreta Unidad I Angelica Hernandez
Estructura Discreta Unidad I  Angelica HernandezEstructura Discreta Unidad I  Angelica Hernandez
Estructura Discreta Unidad I Angelica HernandezMarislieth96
 
04 Operadores lógicos.pdf
04 Operadores lógicos.pdf04 Operadores lógicos.pdf
04 Operadores lógicos.pdfRobinHernndez8
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01yapa50
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreujuanabreuri
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreujuanabreuri
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandezcarlosahd
 
Asignacion1.deximarboza
Asignacion1.deximarbozaAsignacion1.deximarboza
Asignacion1.deximarbozaDeximar Boza
 

Similar a Presentación orlando aponte uft (20)

Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Unidad i calculo proporcional
Unidad i calculo proporcionalUnidad i calculo proporcional
Unidad i calculo proporcional
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasi
 
Unidad1 discreta
Unidad1 discretaUnidad1 discreta
Unidad1 discreta
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630estructura discreta, unidad I . Angelica hernandez CI : 26561630
estructura discreta, unidad I . Angelica hernandez CI : 26561630
 
Angelica
AngelicaAngelica
Angelica
 
Estructura Discreta Unidad I Angelica Hernandez
Estructura Discreta Unidad I  Angelica HernandezEstructura Discreta Unidad I  Angelica Hernandez
Estructura Discreta Unidad I Angelica Hernandez
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
04 Operadores lógicos.pdf
04 Operadores lógicos.pdf04 Operadores lógicos.pdf
04 Operadores lógicos.pdf
 
Angelica
AngelicaAngelica
Angelica
 
Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01Proposicionesuft 121103193805-phpapp01
Proposicionesuft 121103193805-phpapp01
 
Unid1 ed juan abreu
Unid1 ed juan abreuUnid1 ed juan abreu
Unid1 ed juan abreu
 
Unid1 ED Juan Abreu
Unid1 ED Juan AbreuUnid1 ED Juan Abreu
Unid1 ED Juan Abreu
 
Unid1 ed juan_abreu
Unid1 ed juan_abreuUnid1 ed juan_abreu
Unid1 ed juan_abreu
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
Asignacion1.deximarboza
Asignacion1.deximarbozaAsignacion1.deximarboza
Asignacion1.deximarboza
 

Último

c3.hu3.p1.p3.El ser humano como ser histórico.pptx
c3.hu3.p1.p3.El ser humano como ser histórico.pptxc3.hu3.p1.p3.El ser humano como ser histórico.pptx
c3.hu3.p1.p3.El ser humano como ser histórico.pptxMartín Ramírez
 
Procesos Didácticos en Educación Inicial .pptx
Procesos Didácticos en Educación Inicial .pptxProcesos Didácticos en Educación Inicial .pptx
Procesos Didácticos en Educación Inicial .pptxMapyMerma1
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 
Análisis de la Implementación de los Servicios Locales de Educación Pública p...
Análisis de la Implementación de los Servicios Locales de Educación Pública p...Análisis de la Implementación de los Servicios Locales de Educación Pública p...
Análisis de la Implementación de los Servicios Locales de Educación Pública p...Baker Publishing Company
 
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdfBIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdfCESARMALAGA4
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxlclcarmen
 
Uses of simple past and time expressions
Uses of simple past and time expressionsUses of simple past and time expressions
Uses of simple past and time expressionsConsueloSantana3
 
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMALVOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMALEDUCCUniversidadCatl
 
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...fcastellanos3
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIACarlos Campaña Montenegro
 
Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024IES Vicent Andres Estelles
 
periodico mural y sus partes y caracteristicas
periodico mural y sus partes y caracteristicasperiodico mural y sus partes y caracteristicas
periodico mural y sus partes y caracteristicas123yudy
 
TEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdfTEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdfDannyTola1
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para eventoDiegoMtsS
 
CIENCIAS NATURALES 4 TO ambientes .docx
CIENCIAS NATURALES 4 TO  ambientes .docxCIENCIAS NATURALES 4 TO  ambientes .docx
CIENCIAS NATURALES 4 TO ambientes .docxAgustinaNuez21
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxAna Fernandez
 

Último (20)

Repaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia GeneralRepaso Pruebas CRECE PR 2024. Ciencia General
Repaso Pruebas CRECE PR 2024. Ciencia General
 
c3.hu3.p1.p3.El ser humano como ser histórico.pptx
c3.hu3.p1.p3.El ser humano como ser histórico.pptxc3.hu3.p1.p3.El ser humano como ser histórico.pptx
c3.hu3.p1.p3.El ser humano como ser histórico.pptx
 
Procesos Didácticos en Educación Inicial .pptx
Procesos Didácticos en Educación Inicial .pptxProcesos Didácticos en Educación Inicial .pptx
Procesos Didácticos en Educación Inicial .pptx
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 
Análisis de la Implementación de los Servicios Locales de Educación Pública p...
Análisis de la Implementación de los Servicios Locales de Educación Pública p...Análisis de la Implementación de los Servicios Locales de Educación Pública p...
Análisis de la Implementación de los Servicios Locales de Educación Pública p...
 
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdfBIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
BIOLOGIA_banco de preguntas_editorial icfes examen de estado .pdf
 
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptxSINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
SINTAXIS DE LA ORACIÓN SIMPLE 2023-2024.pptx
 
Sesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdfSesión de clase: Defendamos la verdad.pdf
Sesión de clase: Defendamos la verdad.pdf
 
Uses of simple past and time expressions
Uses of simple past and time expressionsUses of simple past and time expressions
Uses of simple past and time expressions
 
TL/CNL – 2.ª FASE .
TL/CNL – 2.ª FASE                       .TL/CNL – 2.ª FASE                       .
TL/CNL – 2.ª FASE .
 
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMALVOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
VOLUMEN 1 COLECCION PRODUCCION BOVINA . SERIE SANIDAD ANIMAL
 
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
Estas son las escuelas y colegios que tendrán modalidad no presencial este lu...
 
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIARAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
RAIZ CUADRADA Y CUBICA PARA NIÑOS DE PRIMARIA
 
Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024Metabolismo 3: Anabolismo y Fotosíntesis 2024
Metabolismo 3: Anabolismo y Fotosíntesis 2024
 
periodico mural y sus partes y caracteristicas
periodico mural y sus partes y caracteristicasperiodico mural y sus partes y caracteristicas
periodico mural y sus partes y caracteristicas
 
VISITA À PROTEÇÃO CIVIL _
VISITA À PROTEÇÃO CIVIL                  _VISITA À PROTEÇÃO CIVIL                  _
VISITA À PROTEÇÃO CIVIL _
 
TEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdfTEST DE RAVEN es un test conocido para la personalidad.pdf
TEST DE RAVEN es un test conocido para la personalidad.pdf
 
programa dia de las madres 10 de mayo para evento
programa dia de las madres 10 de mayo  para eventoprograma dia de las madres 10 de mayo  para evento
programa dia de las madres 10 de mayo para evento
 
CIENCIAS NATURALES 4 TO ambientes .docx
CIENCIAS NATURALES 4 TO  ambientes .docxCIENCIAS NATURALES 4 TO  ambientes .docx
CIENCIAS NATURALES 4 TO ambientes .docx
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docx
 

Presentación orlando aponte uft

  • 1. Universidad “Fermín Toro” Facultad de Ingeniería Estructuras Discretas Proposiciones Realizado por: Orlando Aponte
  • 2. Es un enunciado que esta codificado y puede ser codificado Codificación: 1 VERDADERO Proposiciones 0 FALSO Ejemplos: p: Caracas es la capital de Venezuela (VERDADERO). q: 10 es un numero primo (FALSO).
  • 3. Valor Lógico Denotamos como valor lógico (VL) al valor 1 si la proposición es verdadera y 0 si es falsa.  Ejemplo: Tomando el ejemplo anterior VL(p)= 1 VL(q)= 0 Operaciones Veritativas Atómicas o simples: Es cuando la proposición no contiene conectivos lógicos.  Ejemplo: Los estudiantes universitarios son aplicados.
  • 4. Operaciones Veritativas Son conectivos utilizados para formar nuevas proposiciones  Conectivos  Operación ~ Negación ^ Conjunción o producto lógico V Disyunción o suma lógica Implicación o condicional Incondicional ⊻ Disyunción exclusiva
  • 5. Negación Identificada por ~ Ejemplo p: todos los mamíferos comen carne ~p: no es cierto que todos los mamíferos comen carne
  • 6. Conjunción Es un operador lógico que resulta en verdadero si las dos proposiciones son ciertas Ejemplo: p: todas las aves ponen huevos. VL=1 q: chaves es nuestro presidente. VL= 1 r: el año tiene 10 meses. VL=0 p^q: todas las aves ponen huevos y Chávez es nuestro presidente p=1 q=1 p^q=1 q=1 r=1 q^r= 0
  • 7. Disyunción Exclusiva Es un operador lógico q resulta en verdadero si cualquiera de las proposiciones es verdadera Ejemplo: P: el pato es un ave. VL=1 q: el cocodrilo es un mamífero. VL=0 r: la lechuga es un vegetal. VL=0 p= 1 q= 0 pvq= 1 q= 0 r= 0 pvr= 0
  • 8. Implicación Tiene un antecedente y un consecuente. Así tenemos que: p: el martes es un día de la semana. VL= 1 q: el año tiene 365 días. VL=1 r: la semana tiene 4 días. VL= 0 s: el día tiene 26 horas. VL= 0 p= 1 q= 1 p q= 1 p= 1 r= 0 p r= 0 r= 0 q= 1 r q= 1 r= 0 s= 0 r s= 1
  • 9. Bicondicional Proposición que es verdadera si el VL de ambas es igual Ejemplo: p: El diámetro de una circunferencia es 2 veces el radio. VL= 1 q: Un año tiene 365 días. VL=1 r:Una hora tiene 3600 minutos. VL=0 s: El sushi es peruano. VL=0 p q p q= 1 q r q r= 0 r s r s= 1 p s p s= 0
  • 10. Tautología Se denomina tautología una proposición que es cierta para cualquier valor de verdad de sus componentes. Contradicción Se define como la negación de una tautología, luego es una proposición falsa cualesquiera sea el valor de verdad de sus componentes. La última columna de la tabla de verdad de una contradicción estará formada únicamente por 0 (falso)”.
  • 11. Leyes del Algebra de Proposiciones  Leyes Idempotentes  Leyes Asociativas  Leyes Conmutativas  Leyes Distributivas  Leyes de Identidad  Leyes de Complementación  Leyes De Morgan
  • 12. Métodos de Demostración • Demostración Directa Conjunto de proposiciones o premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere como consecuencia inmediata. • Demostración Indirecta Se realiza una demostración indirecta cuando se establece la validez de una tesis p probando que las consecuencias de su contraria son falsas.
  • 13. Circuitos Lógicos Dada las forma proposicional podemos asociarle un circuito y viceversa. Además utilizando el algebra proposicional podemos simplificar en circuitos equivalentes mas sencillos Representaremos las conexiones en serie como: p q p^q Representaremos las conexiones p pvq q
  • 14. Ejemplo r q p q ~s (p^q)^[(r^q)v~s]