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
La 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

Logica proposicional parte_2
Logica proposicional parte_2Logica proposicional parte_2
Logica proposicional parte_2
Fëlÿpë Chôlk
 
Nociones de lógica
Nociones de lógicaNociones de lógica
Nociones de lógica
Juan Carlos
 
Repaso Algebra Proposicional
Repaso Algebra ProposicionalRepaso Algebra Proposicional
Repaso Algebra Proposicional
Mariexis Cova
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
Enrique Bonilla
 

La actualidad más candente (18)

Logica proposicional parte_2
Logica proposicional parte_2Logica proposicional parte_2
Logica proposicional parte_2
 
Las proposiciones
Las proposicionesLas proposiciones
Las proposiciones
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Calculo Proposicional.
Calculo Proposicional.Calculo Proposicional.
Calculo 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.
 
11 LóGica Proposicional
11  LóGica Proposicional11  LóGica Proposicional
11 LóGica Proposicional
 
Estructura discreta 2
Estructura discreta 2Estructura discreta 2
Estructura discreta 2
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Presentación1
Presentación1Presentación1
Presentación1
 
Nociones de lógica
Nociones de lógicaNociones de lógica
Nociones de lógica
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Introduccion a la logica simbolica
Introduccion a la logica simbolicaIntroduccion a la logica simbolica
Introduccion a la logica simbolica
 
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
 
Unidad i. . cálculo proposicional
Unidad i. . cálculo proposicionalUnidad i. . cálculo proposicional
Unidad i. . cálculo proposicional
 
Repaso Algebra Proposicional
Repaso Algebra ProposicionalRepaso Algebra Proposicional
Repaso Algebra Proposicional
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 

Destacado (6)

Asignacion 3 jose juhasz
Asignacion 3 jose juhaszAsignacion 3 jose juhasz
Asignacion 3 jose juhasz
 
ejercicios de fisica
ejercicios de fisicaejercicios de fisica
ejercicios de fisica
 
Examen virtual jose juhasz
Examen virtual jose juhaszExamen virtual jose juhasz
Examen virtual jose juhasz
 
Trabajo 1
Trabajo 1Trabajo 1
Trabajo 1
 
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

Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
AponteOrlandoUFT
 
Presentación orlando aponte uft
Presentación orlando aponte uftPresentación orlando aponte uft
Presentación orlando aponte uft
AponteOrlandoUFT
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
herostara
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasi
Enrique Bonilla
 
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
Marislieth96
 
Proposiciones valeska
Proposiciones valeskaProposiciones valeska
Proposiciones valeska
valeska6620
 
Calculo proposicional saia asig1
Calculo proposicional  saia asig1Calculo proposicional  saia asig1
Calculo proposicional saia asig1
aljallady
 

Similar a Presentación orlando aponte (20)

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
 
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
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
Enrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasiEnrique bonilla.estructurasdiscretasi
Enrique bonilla.estructurasdiscretasi
 
Unidad1 discreta
Unidad1 discretaUnidad1 discreta
Unidad1 discreta
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Estructura Discreta Unidad I Angelica Hernandez
Estructura Discreta Unidad I  Angelica HernandezEstructura Discreta Unidad I  Angelica Hernandez
Estructura Discreta Unidad I Angelica Hernandez
 
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
 
Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)Estructuras discretas (Proposiciones)
Estructuras discretas (Proposiciones)
 
Proposiciones valeska
Proposiciones valeskaProposiciones valeska
Proposiciones valeska
 
Calculo proposicional saia asig1
Calculo proposicional  saia asig1Calculo proposicional  saia asig1
Calculo proposicional saia asig1
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
Angelica
AngelicaAngelica
Angelica
 
Asignacion1.deximarboza
Asignacion1.deximarbozaAsignacion1.deximarboza
Asignacion1.deximarboza
 

Último

Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfCurso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Francisco158360
 
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
RigoTito
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
El Fortí
 
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
MiNeyi1
 

Último (20)

LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxLA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
 
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdf
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdfGUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdf
GUIA DE CIRCUNFERENCIA Y ELIPSE UNDÉCIMO 2024.pdf
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativa
 
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdfCurso = Metodos Tecnicas y Modelos de Enseñanza.pdf
Curso = Metodos Tecnicas y Modelos de Enseñanza.pdf
 
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
SESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.docSESION DE PERSONAL SOCIAL.  La convivencia en familia 22-04-24  -.doc
SESION DE PERSONAL SOCIAL. La convivencia en familia 22-04-24 -.doc
 
Infografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdfInfografía EE con pie del 2023 (3)-1.pdf
Infografía EE con pie del 2023 (3)-1.pdf
 
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
ACERTIJO DE LA BANDERA OLÍMPICA CON ECUACIONES DE LA CIRCUNFERENCIA. Por JAVI...
 
Estrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcciónEstrategia de prompts, primeras ideas para su construcción
Estrategia de prompts, primeras ideas para su construcción
 
2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf
2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf
2024 KIT DE HABILIDADES SOCIOEMOCIONALES.pdf
 
Programacion Anual Matemática5 MPG 2024 Ccesa007.pdf
Programacion Anual Matemática5    MPG 2024  Ccesa007.pdfProgramacion Anual Matemática5    MPG 2024  Ccesa007.pdf
Programacion Anual Matemática5 MPG 2024 Ccesa007.pdf
 
Sesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronósticoSesión de clase: Fe contra todo pronóstico
Sesión de clase: Fe contra todo pronóstico
 
Presentacion Metodología de Enseñanza Multigrado
Presentacion Metodología de Enseñanza MultigradoPresentacion Metodología de Enseñanza Multigrado
Presentacion Metodología de Enseñanza Multigrado
 
Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024
 
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
Lecciones 05 Esc. Sabática. Fe contra todo pronóstico.
 
Power Point: Fe contra todo pronóstico.pptx
Power Point: Fe contra todo pronóstico.pptxPower Point: Fe contra todo pronóstico.pptx
Power Point: Fe contra todo pronóstico.pptx
 
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
2 REGLAMENTO RM 0912-2024 DE MODALIDADES DE GRADUACIÓN_.pptx
 
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdfSELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
SELECCIÓN DE LA MUESTRA Y MUESTREO EN INVESTIGACIÓN CUALITATIVA.pdf
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
 
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
6.-Como-Atraer-El-Amor-01-Lain-Garcia-Calvo.pdf
 
PIAR v 015. 2024 Plan Individual de ajustes razonables
PIAR v 015. 2024 Plan Individual de ajustes razonablesPIAR v 015. 2024 Plan Individual de ajustes razonables
PIAR v 015. 2024 Plan Individual de ajustes razonables
 

Presentación orlando aponte

  • 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. La 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]