SlideShare una empresa de Scribd logo
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

Más contenido relacionado

La actualidad más candente

Calculo Proposicional
Calculo ProposicionalCalculo Proposicional
Calculo Proposicional
gpbs_brito
 
Leyes de logica proporcional
Leyes de logica proporcionalLeyes de logica proporcional
Leyes de logica proporcional
Tania Contento
 
Equivalencias Notables
Equivalencias NotablesEquivalencias Notables
Equivalencias Notables
guestc36ac8
 
Estructuras discretas
Estructuras discretasEstructuras discretas
Estructuras discretas
JoseJuhasz21
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
Ronald Wielman
 
Enrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique bonilla.estructurasdiscretas
Enrique bonilla.estructurasdiscretasEnrique Bonilla
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
MaestroJCH
 
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 proposicional
cepecole
 
Estructura
EstructuraEstructura
Estructurapregiver
 
Diapositivas estructura discreta
Diapositivas estructura discretaDiapositivas estructura discreta
Diapositivas estructura discretaGer Castillo
 
Proposiciones lógicas luis serrano
Proposiciones lógicas luis serranoProposiciones lógicas luis serrano
Proposiciones lógicas luis serrano
Luis Alberto Serrano Loyo
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
Helber abanto cotrina
 
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 maicol
maicol1946
 
Tautologia y contraddicciones
Tautologia y contraddiccionesTautologia y contraddicciones
Tautologia y contraddicciones
Deisbis Gonzalez
 
Propocisiones eqivalentes
Propocisiones eqivalentesPropocisiones eqivalentes
Propocisiones eqivalentespercyxde
 
Proposiciones
ProposicionesProposiciones
Proposiciones
Sthefany Leon
 

La actualidad más candente (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
 

Destacado

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
INSTITUTO DISTRITAL DE TURISMO
 
Ejercicios de Aplicacion
Ejercicios de AplicacionEjercicios de Aplicacion
Ejercicios de Aplicacion
Ariel Acosta
 
Trabajo de series infinitas
Trabajo de series infinitasTrabajo de series infinitas
Trabajo de series infinitas
reisermendoza
 
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
 

Destacado (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
 

Similar a Rela3

LibroAlgebra.pdf
LibroAlgebra.pdfLibroAlgebra.pdf
LibroAlgebra.pdf
vicenteeduardoharo1
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.Jorgexm01
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
IranChoque
 
Cap1
Cap1Cap1
Lógica
LógicaLógica
Problemas de estadistica inferencial.2.2012
Problemas de estadistica  inferencial.2.2012Problemas de estadistica  inferencial.2.2012
Problemas de estadistica inferencial.2.2012David Barrenechea Tinoco
 
Calculo proposicional
Calculo proposicionalCalculo proposicional
Calculo proposicionalherostara
 
Equivalencias Notables
Equivalencias NotablesEquivalencias Notables
Equivalencias Notables
rafael felix
 
Gregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad iGregory cordero est. disc. unidad i
Gregory cordero est. disc. unidad i
14879114
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
paquitogiron
 
Tautologías
TautologíasTautologías
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
Pablo Gandarilla C.
 
01 lógica proposicional
01 lógica proposicional01 lógica proposicional
01 lógica proposicionalchofer1990
 
Leccion3
Leccion3Leccion3
Leccion3
ortari2014
 
Trabajo preposiciones
Trabajo preposicionesTrabajo preposiciones
Trabajo preposiciones
claudia rodriguez
 

Similar a Rela3 (20)

LibroAlgebra.pdf
LibroAlgebra.pdfLibroAlgebra.pdf
LibroAlgebra.pdf
 
Proposiciones.
Proposiciones.Proposiciones.
Proposiciones.
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Cap1
Cap1Cap1
Cap1
 
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
 

Más de orestes

Lineal prac2
Lineal prac2Lineal prac2
Lineal prac2orestes
 
Practico5
Practico5Practico5
Practico5orestes
 
Practico4
Practico4Practico4
Practico4orestes
 
Practico3
Practico3Practico3
Practico3orestes
 
Practico2pp
Practico2ppPractico2pp
Practico2pporestes
 
Practico1
Practico1Practico1
Practico1orestes
 
Sistemali2
Sistemali2Sistemali2
Sistemali2orestes
 
Sistemali1
Sistemali1Sistemali1
Sistemali1orestes
 
Polinomio2
Polinomio2Polinomio2
Polinomio2orestes
 
Polinomio1
Polinomio1Polinomio1
Polinomio1orestes
 

Más 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
 

Último

Fase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcionalFase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcional
YasneidyGonzalez
 
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptxc3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
Martín Ramírez
 
El Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundoEl Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundo
SandraBenitez52
 
Mapa_Conceptual de los fundamentos de la evaluación educativa
Mapa_Conceptual de los fundamentos de la evaluación educativaMapa_Conceptual de los fundamentos de la evaluación educativa
Mapa_Conceptual de los fundamentos de la evaluación educativa
TatianaVanessaAltami
 
Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1
MauricioSnchez83
 
Proceso de admisiones en escuelas infantiles de Pamplona
Proceso de admisiones en escuelas infantiles de PamplonaProceso de admisiones en escuelas infantiles de Pamplona
Proceso de admisiones en escuelas infantiles de Pamplona
Edurne Navarro Bueno
 
UNIDAD DE APRENDIZAJE DEL MES Junio 2024
UNIDAD DE APRENDIZAJE DEL MES  Junio 2024UNIDAD DE APRENDIZAJE DEL MES  Junio 2024
UNIDAD DE APRENDIZAJE DEL MES Junio 2024
EdwardYumbato1
 
CALENDARIZACION DEL MES DE JUNIO - JULIO 24
CALENDARIZACION DEL MES DE JUNIO - JULIO 24CALENDARIZACION DEL MES DE JUNIO - JULIO 24
CALENDARIZACION DEL MES DE JUNIO - JULIO 24
auxsoporte
 
Examen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdfExamen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdf
20minutos
 
Sesión: El fundamento del gobierno de Dios.pdf
Sesión: El fundamento del gobierno de Dios.pdfSesión: El fundamento del gobierno de Dios.pdf
Sesión: El fundamento del gobierno de Dios.pdf
https://gramadal.wordpress.com/
 
Junio 2024 Fotocopiables Ediba actividades
Junio 2024 Fotocopiables Ediba actividadesJunio 2024 Fotocopiables Ediba actividades
Junio 2024 Fotocopiables Ediba actividades
cintiat3400
 
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
JAVIER SOLIS NOYOLA
 
3° UNIDAD 3 CUIDAMOS EL AMBIENTE RECICLANDO EN FAMILIA 933623393 PROF YESSENI...
3° UNIDAD 3 CUIDAMOS EL AMBIENTE RECICLANDO EN FAMILIA 933623393 PROF YESSENI...3° UNIDAD 3 CUIDAMOS EL AMBIENTE RECICLANDO EN FAMILIA 933623393 PROF YESSENI...
3° UNIDAD 3 CUIDAMOS EL AMBIENTE RECICLANDO EN FAMILIA 933623393 PROF YESSENI...
rosannatasaycoyactay
 
Libro infantil sapo y sepo un año entero pdf
Libro infantil sapo y sepo un año entero pdfLibro infantil sapo y sepo un año entero pdf
Libro infantil sapo y sepo un año entero pdf
danitarb
 
Texto_de_Aprendizaje-1ro_secundaria-2024.pdf
Texto_de_Aprendizaje-1ro_secundaria-2024.pdfTexto_de_Aprendizaje-1ro_secundaria-2024.pdf
Texto_de_Aprendizaje-1ro_secundaria-2024.pdf
ClaudiaAlcondeViadez
 
Testimonio Paco Z PATRONATO_Valencia_24.pdf
Testimonio Paco Z PATRONATO_Valencia_24.pdfTestimonio Paco Z PATRONATO_Valencia_24.pdf
Testimonio Paco Z PATRONATO_Valencia_24.pdf
Txema Gs
 
Un libro sin recetas, para la maestra y el maestro Fase 3.pdf
Un libro sin recetas, para la maestra y el maestro Fase 3.pdfUn libro sin recetas, para la maestra y el maestro Fase 3.pdf
Un libro sin recetas, para la maestra y el maestro Fase 3.pdf
sandradianelly
 
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdfINFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
Alejandrogarciapanta
 
CUENTO EL TIGRILLO DESOBEDIENTE PARA INICIAL
CUENTO EL TIGRILLO DESOBEDIENTE PARA INICIALCUENTO EL TIGRILLO DESOBEDIENTE PARA INICIAL
CUENTO EL TIGRILLO DESOBEDIENTE PARA INICIAL
DivinoNioJess885
 
El fundamento del gobierno de Dios. Lec. 09. docx
El fundamento del gobierno de Dios. Lec. 09. docxEl fundamento del gobierno de Dios. Lec. 09. docx
El fundamento del gobierno de Dios. Lec. 09. docx
Alejandrino Halire Ccahuana
 

Último (20)

Fase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcionalFase 1, Lenguaje algebraico y pensamiento funcional
Fase 1, Lenguaje algebraico y pensamiento funcional
 
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptxc3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
c3.hu3.p3.p2.Superioridad e inferioridad en la sociedad.pptx
 
El Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundoEl Liberalismo económico en la sociedad y en el mundo
El Liberalismo económico en la sociedad y en el mundo
 
Mapa_Conceptual de los fundamentos de la evaluación educativa
Mapa_Conceptual de los fundamentos de la evaluación educativaMapa_Conceptual de los fundamentos de la evaluación educativa
Mapa_Conceptual de los fundamentos de la evaluación educativa
 
Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1
 
Proceso de admisiones en escuelas infantiles de Pamplona
Proceso de admisiones en escuelas infantiles de PamplonaProceso de admisiones en escuelas infantiles de Pamplona
Proceso de admisiones en escuelas infantiles de Pamplona
 
UNIDAD DE APRENDIZAJE DEL MES Junio 2024
UNIDAD DE APRENDIZAJE DEL MES  Junio 2024UNIDAD DE APRENDIZAJE DEL MES  Junio 2024
UNIDAD DE APRENDIZAJE DEL MES Junio 2024
 
CALENDARIZACION DEL MES DE JUNIO - JULIO 24
CALENDARIZACION DEL MES DE JUNIO - JULIO 24CALENDARIZACION DEL MES DE JUNIO - JULIO 24
CALENDARIZACION DEL MES DE JUNIO - JULIO 24
 
Examen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdfExamen Lengua y Literatura EVAU Andalucía.pdf
Examen Lengua y Literatura EVAU Andalucía.pdf
 
Sesión: El fundamento del gobierno de Dios.pdf
Sesión: El fundamento del gobierno de Dios.pdfSesión: El fundamento del gobierno de Dios.pdf
Sesión: El fundamento del gobierno de Dios.pdf
 
Junio 2024 Fotocopiables Ediba actividades
Junio 2024 Fotocopiables Ediba actividadesJunio 2024 Fotocopiables Ediba actividades
Junio 2024 Fotocopiables Ediba actividades
 
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
ROMPECABEZAS DE ECUACIONES DE PRIMER GRADO OLIMPIADA DE PARÍS 2024. Por JAVIE...
 
3° UNIDAD 3 CUIDAMOS EL AMBIENTE RECICLANDO EN FAMILIA 933623393 PROF YESSENI...
3° UNIDAD 3 CUIDAMOS EL AMBIENTE RECICLANDO EN FAMILIA 933623393 PROF YESSENI...3° UNIDAD 3 CUIDAMOS EL AMBIENTE RECICLANDO EN FAMILIA 933623393 PROF YESSENI...
3° UNIDAD 3 CUIDAMOS EL AMBIENTE RECICLANDO EN FAMILIA 933623393 PROF YESSENI...
 
Libro infantil sapo y sepo un año entero pdf
Libro infantil sapo y sepo un año entero pdfLibro infantil sapo y sepo un año entero pdf
Libro infantil sapo y sepo un año entero pdf
 
Texto_de_Aprendizaje-1ro_secundaria-2024.pdf
Texto_de_Aprendizaje-1ro_secundaria-2024.pdfTexto_de_Aprendizaje-1ro_secundaria-2024.pdf
Texto_de_Aprendizaje-1ro_secundaria-2024.pdf
 
Testimonio Paco Z PATRONATO_Valencia_24.pdf
Testimonio Paco Z PATRONATO_Valencia_24.pdfTestimonio Paco Z PATRONATO_Valencia_24.pdf
Testimonio Paco Z PATRONATO_Valencia_24.pdf
 
Un libro sin recetas, para la maestra y el maestro Fase 3.pdf
Un libro sin recetas, para la maestra y el maestro Fase 3.pdfUn libro sin recetas, para la maestra y el maestro Fase 3.pdf
Un libro sin recetas, para la maestra y el maestro Fase 3.pdf
 
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdfINFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
INFORME MINEDU DEL PRIMER SIMULACRO 2024.pdf
 
CUENTO EL TIGRILLO DESOBEDIENTE PARA INICIAL
CUENTO EL TIGRILLO DESOBEDIENTE PARA INICIALCUENTO EL TIGRILLO DESOBEDIENTE PARA INICIAL
CUENTO EL TIGRILLO DESOBEDIENTE PARA INICIAL
 
El fundamento del gobierno de Dios. Lec. 09. docx
El fundamento del gobierno de Dios. Lec. 09. docxEl fundamento del gobierno de Dios. Lec. 09. docx
El fundamento del gobierno de Dios. Lec. 09. docx
 

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