SlideShare une entreprise Scribd logo
1  sur  1
Relaciones Binarias
                     Helmuth villavicencio fern´ndez
                                               a


  1. (a) Dar un ejemplo de una relaci´n que sea sim´trica, transitiva pero no
                                     o             e
         sea reflexiva.
      (b) En el conjunto de las proposiciones compuestas que se pueden formar
          con las variables proposicionales: p, q, r
          Se define la relaci´n γ como:
                            o

                               P γ Q ⇔ P ∨ Q es tautlog´
                                                       ıa

            Determine si dicha relaci´n es: Reflexiva, sim´trica, antisim´trica y
                                     o                   e              e
            transitiva.

Soluci´n
      o
  1. (a) Basta considerar R = {(a, b); (b, a); (b, b); (a, a)} en A = {a, b, c} No-
         tamos que c ∈ DomR pero (c, c) ∈ R, luego R no es reflexiva, pero
                                            /
         es sim´trica y transitiva.
               e
      (b)    i. γ NO es reflexiva:
                En efecto; sea P : (p∧ ∼ p) una proposici´n del conjunto, la
                                                           o
                cual sabemos es una contradicci´n.Luego P ∨ P ≡ P es una con-
                                               o
                tradicci´n luego (P, P ) ∈ γ.
                        o                /

             ii. γ es sim´trica:
                         e
                 Desde que P ∨ Q ≡ Q ∨ P .

            iii. γ NO es antisim´trica:
                                 e
                 Para ver ello consideremos: P : (p∧ ∼ p), Q : (q∨ ∼ q) luego
                 P γ Q ∧ Q γ P pero P ≡ Q.
            iv. γ NO es transitiva:
                 Para ver ello consideremos: P : (p∧ ∼ p), Q : (q∨ ∼ q) y
                 R : (∼ r ∧ r) tales que P γ Q ∧ Q γ R pero P γ R pues es
                                                                  
                                                                   
                 contradicci´n.
                            o




                                        1

Contenu connexe

Tendances

Calculo Proposicional
Calculo ProposicionalCalculo Proposicional
Calculo Proposicionalgpbs_brito
 
Leyes de logica proporcional
Leyes de logica proporcionalLeyes de logica proporcional
Leyes de logica proporcionalTania Contento
 
Equivalencias Notables
Equivalencias NotablesEquivalencias Notables
Equivalencias Notablesguestc36ac8
 
Estructuras discretas
Estructuras discretasEstructuras discretas
Estructuras discretasJoseJuhasz21
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicionalRonald Wielman
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique Bonilla
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica ProposicionalMaestroJCH
 
lógica :Método de las Derivaciones
lógica :Método de las Derivacioneslógica :Método de las Derivaciones
lógica :Método de las DerivacionesJuan F.Guevara
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicionalcepecole
 
Estructura
EstructuraEstructura
Estructurapregiver
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discretaGer Castillo
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicasEva Vásquez
 
Lógica matemática maicol
Lógica matemática maicolLógica matemática maicol
Lógica matemática maicolmaicol1946
 
Tautologia y contraddicciones
Tautologia y contraddiccionesTautologia y contraddicciones
Tautologia y contraddiccionesDeisbis Gonzalez
 
Propocisiones eqivalentes
Propocisiones eqivalentesPropocisiones eqivalentes
Propocisiones eqivalentespercyxde
 

Tendances (18)

Calculo Proposicional
Calculo ProposicionalCalculo Proposicional
Calculo Proposicional
 
Leyes de logica proporcional
Leyes de logica proporcionalLeyes de logica proporcional
Leyes de logica proporcional
 
Equivalencias Notables
Equivalencias NotablesEquivalencias Notables
Equivalencias Notables
 
Estructuras discretas
Estructuras discretasEstructuras discretas
Estructuras discretas
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretas
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
lógica :Método de las Derivaciones
lógica :Método de las Derivacioneslógica :Método de las Derivaciones
lógica :Método de las Derivaciones
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Estructura
EstructuraEstructura
Estructura
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discreta
 
Proposiciones lógicas luis serrano
Proposiciones lógicas luis serranoProposiciones lógicas luis serrano
Proposiciones lógicas luis serrano
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Lógica matemática maicol
Lógica matemática maicolLógica matemática maicol
Lógica matemática maicol
 
Tautologia y contraddicciones
Tautologia y contraddiccionesTautologia y contraddicciones
Tautologia y contraddicciones
 
Propocisiones eqivalentes
Propocisiones eqivalentesPropocisiones eqivalentes
Propocisiones eqivalentes
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 

En vedette

Ejercicios de Aplicacion
Ejercicios de AplicacionEjercicios de Aplicacion
Ejercicios de AplicacionAriel Acosta
 
Trabajo de series infinitas
Trabajo de series infinitasTrabajo de series infinitas
Trabajo de series infinitasreisermendoza
 
Los sistemas-de-informacion-de-la-mercadotecnia-sim
Los sistemas-de-informacion-de-la-mercadotecnia-simLos sistemas-de-informacion-de-la-mercadotecnia-sim
Los sistemas-de-informacion-de-la-mercadotecnia-simabigail
 
Series infinitas
Series infinitasSeries infinitas
Series infinitasEmma
 

En vedette (6)

4 10 criterios de convergencias para series
4 10 criterios de convergencias para series4 10 criterios de convergencias para series
4 10 criterios de convergencias para series
 
Ejercicios de Aplicacion
Ejercicios de AplicacionEjercicios de Aplicacion
Ejercicios de Aplicacion
 
Trabajo de series infinitas
Trabajo de series infinitasTrabajo de series infinitas
Trabajo de series infinitas
 
Series infinitas
Series infinitasSeries infinitas
Series infinitas
 
Los sistemas-de-informacion-de-la-mercadotecnia-sim
Los sistemas-de-informacion-de-la-mercadotecnia-simLos sistemas-de-informacion-de-la-mercadotecnia-sim
Los sistemas-de-informacion-de-la-mercadotecnia-sim
 
Series infinitas
Series infinitasSeries infinitas
Series infinitas
 

Similaire à Rela3 (20)

LibroAlgebra.pdf
LibroAlgebra.pdfLibroAlgebra.pdf
LibroAlgebra.pdf
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
Cap1
Cap1Cap1
Cap1
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Lógica
LógicaLógica
Lógica
 
Problemas de estadistica inferencial.2.2012
Problemas de estadistica  inferencial.2.2012Problemas de estadistica  inferencial.2.2012
Problemas de estadistica inferencial.2.2012
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicional
 
Equivalencias Notables
Equivalencias NotablesEquivalencias Notables
Equivalencias Notables
 
COMPENDIO QUINTO
COMPENDIO QUINTOCOMPENDIO QUINTO
COMPENDIO QUINTO
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
 
Rela1
Rela1Rela1
Rela1
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Tautologías
TautologíasTautologías
Tautologías
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
01 lógica proposicional
01 lógica proposicional01 lógica proposicional
01 lógica proposicional
 
Leccion3
Leccion3Leccion3
Leccion3
 
Unidad 1 discreta
Unidad 1 discretaUnidad 1 discreta
Unidad 1 discreta
 
Trabajo preposiciones
Trabajo preposicionesTrabajo preposiciones
Trabajo preposiciones
 

Plus de orestes

Plus de orestes (20)

Lineal prac2
Lineal prac2Lineal prac2
Lineal prac2
 
Practico5
Practico5Practico5
Practico5
 
Practico4
Practico4Practico4
Practico4
 
Practico3
Practico3Practico3
Practico3
 
Practico2pp
Practico2ppPractico2pp
Practico2pp
 
Practico1
Practico1Practico1
Practico1
 
LóGica
LóGicaLóGica
LóGica
 
Induc4
Induc4Induc4
Induc4
 
Logica1
Logica1Logica1
Logica1
 
Sup2
Sup2Sup2
Sup2
 
Sup1
Sup1Sup1
Sup1
 
Sistemali2
Sistemali2Sistemali2
Sistemali2
 
Sistemali1
Sistemali1Sistemali1
Sistemali1
 
Rela2
Rela2Rela2
Rela2
 
Polinomio2
Polinomio2Polinomio2
Polinomio2
 
Polinomio1
Polinomio1Polinomio1
Polinomio1
 
Nurea2
Nurea2Nurea2
Nurea2
 
Numero2
Numero2Numero2
Numero2
 
Numero1
Numero1Numero1
Numero1
 
Max2
Max2Max2
Max2
 

Dernier

Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.José Luis Palma
 
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...JAVIER SOLIS NOYOLA
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzprofefilete
 
30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdf30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdfgimenanahuel
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxjosetrinidadchavez
 
2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdfBaker Publishing Company
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dstEphaniiie
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoFundación YOD YOD
 
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
 
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ónLourdes Feria
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxAna Fernandez
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADauxsoporte
 
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,CULTURAEl Fortí
 
la unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscala unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscaeliseo91
 
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxSEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxYadi Campos
 
Qué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaQué es la Inteligencia artificial generativa
Qué es la Inteligencia artificial generativaDecaunlz
 
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.pdfFrancisco158360
 

Dernier (20)

Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.Clasificaciones, modalidades y tendencias de investigación educativa.
Clasificaciones, modalidades y tendencias de investigación educativa.
 
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...
 
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
 
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyzel CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
el CTE 6 DOCENTES 2 2023-2024abcdefghijoklmnñopqrstuvwxyz
 
Fe contra todo pronóstico. La fe es confianza.
Fe contra todo pronóstico. La fe es confianza.Fe contra todo pronóstico. La fe es confianza.
Fe contra todo pronóstico. La fe es confianza.
 
30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdf30-de-abril-plebiscito-1902_240420_104511.pdf
30-de-abril-plebiscito-1902_240420_104511.pdf
 
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptxOLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
OLIMPIADA DEL CONOCIMIENTO INFANTIL 2024.pptx
 
2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf2024 - Expo Visibles - Visibilidad Lesbica.pdf
2024 - Expo Visibles - Visibilidad Lesbica.pdf
 
Dinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes dDinámica florecillas a María en el mes d
Dinámica florecillas a María en el mes d
 
Heinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativoHeinsohn Privacidad y Ciberseguridad para el sector educativo
Heinsohn Privacidad y Ciberseguridad para el sector educativo
 
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
 
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
 
RETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docxRETO MES DE ABRIL .............................docx
RETO MES DE ABRIL .............................docx
 
CALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDADCALENDARIZACION DE MAYO / RESPONSABILIDAD
CALENDARIZACION DE MAYO / RESPONSABILIDAD
 
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
 
la unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fiscala unidad de s sesion edussssssssssssssscacio fisca
la unidad de s sesion edussssssssssssssscacio fisca
 
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxSEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
 
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
 
Tema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdf
Tema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdfTema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdf
Tema 8.- PROTECCION DE LOS SISTEMAS DE INFORMACIÓN.pdf
 

Rela3

  • 1. Relaciones Binarias Helmuth villavicencio fern´ndez a 1. (a) Dar un ejemplo de una relaci´n que sea sim´trica, transitiva pero no o e sea reflexiva. (b) En el conjunto de las proposiciones compuestas que se pueden formar con las variables proposicionales: p, q, r Se define la relaci´n γ como: o P γ Q ⇔ P ∨ Q es tautlog´ ıa Determine si dicha relaci´n es: Reflexiva, sim´trica, antisim´trica y o e e transitiva. Soluci´n o 1. (a) Basta considerar R = {(a, b); (b, a); (b, b); (a, a)} en A = {a, b, c} No- tamos que c ∈ DomR pero (c, c) ∈ R, luego R no es reflexiva, pero / es sim´trica y transitiva. e (b) i. γ NO es reflexiva: En efecto; sea P : (p∧ ∼ p) una proposici´n del conjunto, la o cual sabemos es una contradicci´n.Luego P ∨ P ≡ P es una con- o tradicci´n luego (P, P ) ∈ γ. o / ii. γ es sim´trica: e Desde que P ∨ Q ≡ Q ∨ P . iii. γ NO es antisim´trica: e Para ver ello consideremos: P : (p∧ ∼ p), Q : (q∨ ∼ q) luego P γ Q ∧ Q γ P pero P ≡ Q. iv. γ NO es transitiva: Para ver ello consideremos: P : (p∧ ∼ p), Q : (q∨ ∼ q) y R : (∼ r ∧ r) tales que P γ Q ∧ Q γ R pero P γ R pues es   contradicci´n. o 1