SlideShare una empresa de Scribd logo
Equivalencias entre
cuantificadores.
Jenny Johana García
Código: 1115940310
Grupo: 200611-1533
Universidad Nacional Abierta y a Distancia – UNAD
Pensamiento lógico y matemático
Programa de psicología
2019
En lógica matemática, teoría de conjuntos y
matemáticas en general,
los cuantificadores son símbolos utilizados
para indicar cuántos o qué tipo de elementos
de un conjunto dado cumplen con cierta
propiedad (por
ejemplo, pertenencia, equivalencia u orden).
Equivalencias entre
cuantificadores.
 Se tienen las siguientes relaciones universales:
 ∀x∈A:P(x)⟷¬∃x∈A:¬P(x)Si: para todo x de A se
cumple P(x), es equivalente a: no
existe x en A que no cumpla P(x).∃x∈A:P(x)⟷¬∀
x∈A:¬P(x)Si: existe x en A que cumple P(x),
es equivalente a: no para todo x de A, no se
cumple P(x).En cuanto al cuantificador existencial
único puede considerarse una extensión por
definición en un lenguaje formal con igualdad
teniendo dada la equivalencia:
 ∃!x∈A:P(x)⟷∃z∈A ∀x,y∈A:P(z)∧(P(x)∧P(y)→x=y)Si
: existe un único x en A que cumple P(x), es
equivalente a: para todo x, y de A, que
cumple P(x) y P(y), entonces x es igual a y.
Referencias Bibliográfica
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y
fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&doc
ID=3226457&tm=1529246259924
Proposiciones y Conectores lógicos
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&do
cID=3199701&tm=1529335849013
Cuantificadores
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&d
ocID=3199701&tm=1529510366591
Tablas de verdad
Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de
proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961

Más contenido relacionado

La actualidad más candente

Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
elisa pizano
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
Pacheco Huarotto, Luis
 
Términos en matemáticas usados para la demostración matemática _keila chacón
Términos en matemáticas usados para la demostración matemática _keila chacón Términos en matemáticas usados para la demostración matemática _keila chacón
Términos en matemáticas usados para la demostración matemática _keila chacón
KeilaChacn1
 
Logica matematica y algebra
Logica matematica y algebraLogica matematica y algebra
Logica matematica y algebra
Alejo Tephros
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
Saúl Qc
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en MatemáticaWilbert Tapia
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusionPerez Kyria
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
Pablo Gandarilla C.
 
Algoritmo variables, constantes, tipos de datos y asignacion
Algoritmo variables, constantes, tipos de datos y asignacionAlgoritmo variables, constantes, tipos de datos y asignacion
Algoritmo variables, constantes, tipos de datos y asignacionBoris Salleg
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicional
Jesus García Asensio
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
Margarita Patiño
 
Semejanza e igualdad de triángulos
Semejanza e igualdad de triángulos Semejanza e igualdad de triángulos
Semejanza e igualdad de triángulos
Mg_Ivan_Mauricio
 
Conectivos Lógicos
Conectivos LógicosConectivos Lógicos
Conectivos Lógicos
Reina Sequera
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicionalMariexis Cova
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguez
santiagoexaul
 
Operaciones Básicas con el Sistema Octal
Operaciones Básicas con el Sistema OctalOperaciones Básicas con el Sistema Octal
Operaciones Básicas con el Sistema Octal
pafalconi
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
Yerikson Huz
 

La actualidad más candente (20)

Leyes de algebra proposicional
Leyes de algebra proposicionalLeyes de algebra proposicional
Leyes de algebra proposicional
 
Función proposicional y cuantificadores
Función proposicional y cuantificadoresFunción proposicional y cuantificadores
Función proposicional y cuantificadores
 
Inferencia logica
Inferencia logicaInferencia logica
Inferencia logica
 
Términos en matemáticas usados para la demostración matemática _keila chacón
Términos en matemáticas usados para la demostración matemática _keila chacón Términos en matemáticas usados para la demostración matemática _keila chacón
Términos en matemáticas usados para la demostración matemática _keila chacón
 
Logica matematica y algebra
Logica matematica y algebraLogica matematica y algebra
Logica matematica y algebra
 
D05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones CompuestasD05 Tablasde Verdadde Proposiciones Compuestas
D05 Tablasde Verdadde Proposiciones Compuestas
 
Lógica matemáticas
Lógica matemáticasLógica matemáticas
Lógica matemáticas
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Algoritmo variables, constantes, tipos de datos y asignacion
Algoritmo variables, constantes, tipos de datos y asignacionAlgoritmo variables, constantes, tipos de datos y asignacion
Algoritmo variables, constantes, tipos de datos y asignacion
 
Introducción a la lógica proposicional
Introducción a la lógica proposicionalIntroducción a la lógica proposicional
Introducción a la lógica proposicional
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Semejanza e igualdad de triángulos
Semejanza e igualdad de triángulos Semejanza e igualdad de triángulos
Semejanza e igualdad de triángulos
 
Conectivos Lógicos
Conectivos LógicosConectivos Lógicos
Conectivos Lógicos
 
Algebra proposicional
Algebra proposicionalAlgebra proposicional
Algebra proposicional
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguez
 
Operaciones Básicas con el Sistema Octal
Operaciones Básicas con el Sistema OctalOperaciones Básicas con el Sistema Octal
Operaciones Básicas con el Sistema Octal
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 

Similar a Equivalencias entre cuantificadores

Equivalencias entre cuantificadores
Equivalencias entre cuantificadoresEquivalencias entre cuantificadores
Equivalencias entre cuantificadores
leidybibianamaruland
 
Equivalencias entre cuantificadores
Equivalencias entre cuantificadoresEquivalencias entre cuantificadores
Equivalencias entre cuantificadores
leidybibianamaruland
 
Art9 lucca
Art9 luccaArt9 lucca
Art9 lucca
amtlucca
 
Cálculo de Predicados
Cálculo de PredicadosCálculo de Predicados
Cálculo de Predicados
Henry Pernalette
 
Logica de predicados1
Logica de predicados1Logica de predicados1
Logica de predicados1
Cesar Mujica
 
Algebra ensayo
Algebra ensayoAlgebra ensayo
Algebra ensayo
Jose Rafael
 
Algebra Ensayo
Algebra Ensayo Algebra Ensayo
Algebra Ensayo
Militza Graterol
 
calculo de predicados
calculo  de predicadoscalculo  de predicados
calculo de predicados
Kevin Troconis
 
Slideshare estructuras i
Slideshare estructuras iSlideshare estructuras i
Slideshare estructuras i
jose nieves
 
Lógica matemática
Lógica matemática Lógica matemática
Lógica matemática
Dainer147
 
Limites con radicales al infinito
Limites con radicales al infinitoLimites con radicales al infinito
Limites con radicales al infinito
Pablo Chinchin
 
Conjuntos,Numeros Reales,Desigualdades Carlos Hurtado 0103.pdf
Conjuntos,Numeros Reales,Desigualdades Carlos Hurtado 0103.pdfConjuntos,Numeros Reales,Desigualdades Carlos Hurtado 0103.pdf
Conjuntos,Numeros Reales,Desigualdades Carlos Hurtado 0103.pdf
CarlosHurtado233838
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
kevin20000126
 
Numeros reales y plano numerico
Numeros reales y plano numericoNumeros reales y plano numerico
Numeros reales y plano numerico
YanilethRojas
 
Analisis logica de predicados
Analisis logica de predicadosAnalisis logica de predicados
Analisis logica de predicados
veronica stefania de armas cañizales
 
Planificación de Funciones
Planificación de FuncionesPlanificación de Funciones
Planificación de Funciones
LuisDiaz757
 
Luis moncada 16314597(predicados)
Luis moncada 16314597(predicados)Luis moncada 16314597(predicados)
Luis moncada 16314597(predicados)
moncadalmz
 
Cuantificador existencial
Cuantificador existencialCuantificador existencial
Cuantificador existencial
leidybibianamaruland
 

Similar a Equivalencias entre cuantificadores (20)

Equivalencias entre cuantificadores
Equivalencias entre cuantificadoresEquivalencias entre cuantificadores
Equivalencias entre cuantificadores
 
Equivalencias entre cuantificadores
Equivalencias entre cuantificadoresEquivalencias entre cuantificadores
Equivalencias entre cuantificadores
 
Art9 lucca
Art9 luccaArt9 lucca
Art9 lucca
 
Cálculo de Predicados
Cálculo de PredicadosCálculo de Predicados
Cálculo de Predicados
 
Logica de predicados1
Logica de predicados1Logica de predicados1
Logica de predicados1
 
Cuantificadores
CuantificadoresCuantificadores
Cuantificadores
 
Algebra ensayo
Algebra ensayoAlgebra ensayo
Algebra ensayo
 
Algebra Ensayo
Algebra Ensayo Algebra Ensayo
Algebra Ensayo
 
calculo de predicados
calculo  de predicadoscalculo  de predicados
calculo de predicados
 
Slideshare estructuras i
Slideshare estructuras iSlideshare estructuras i
Slideshare estructuras i
 
Lógica matemática
Lógica matemática Lógica matemática
Lógica matemática
 
Limites con radicales al infinito
Limites con radicales al infinitoLimites con radicales al infinito
Limites con radicales al infinito
 
Diapositivas de informatica
Diapositivas de informaticaDiapositivas de informatica
Diapositivas de informatica
 
Conjuntos,Numeros Reales,Desigualdades Carlos Hurtado 0103.pdf
Conjuntos,Numeros Reales,Desigualdades Carlos Hurtado 0103.pdfConjuntos,Numeros Reales,Desigualdades Carlos Hurtado 0103.pdf
Conjuntos,Numeros Reales,Desigualdades Carlos Hurtado 0103.pdf
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Numeros reales y plano numerico
Numeros reales y plano numericoNumeros reales y plano numerico
Numeros reales y plano numerico
 
Analisis logica de predicados
Analisis logica de predicadosAnalisis logica de predicados
Analisis logica de predicados
 
Planificación de Funciones
Planificación de FuncionesPlanificación de Funciones
Planificación de Funciones
 
Luis moncada 16314597(predicados)
Luis moncada 16314597(predicados)Luis moncada 16314597(predicados)
Luis moncada 16314597(predicados)
 
Cuantificador existencial
Cuantificador existencialCuantificador existencial
Cuantificador existencial
 

Último

PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.
https://gramadal.wordpress.com/
 
Varón de 30 años acude a consulta por presentar hipertensión arterial de reci...
Varón de 30 años acude a consulta por presentar hipertensión arterial de reci...Varón de 30 años acude a consulta por presentar hipertensión arterial de reci...
Varón de 30 años acude a consulta por presentar hipertensión arterial de reci...
HuallpaSamaniegoSeba
 
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
 
ENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docx
ENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docxENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docx
ENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docx
SandraPiza2
 
Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...
Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...
Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...
Monseespinoza6
 
Conocemos la ermita de Ntra. Sra. del Arrabal
Conocemos la ermita de Ntra. Sra. del ArrabalConocemos la ermita de Ntra. Sra. del Arrabal
Conocemos la ermita de Ntra. Sra. del Arrabal
Profes de Relideleón Apellidos
 
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
 
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
 
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNETPRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
CESAR MIJAEL ESPINOZA SALAZAR
 
Septima-Sesion-Ordinaria-del-Consejo-Tecnico-Escolar-y-el-Taller-Intensivo-de...
Septima-Sesion-Ordinaria-del-Consejo-Tecnico-Escolar-y-el-Taller-Intensivo-de...Septima-Sesion-Ordinaria-del-Consejo-Tecnico-Escolar-y-el-Taller-Intensivo-de...
Septima-Sesion-Ordinaria-del-Consejo-Tecnico-Escolar-y-el-Taller-Intensivo-de...
AracelidelRocioOrdez
 
Portafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPNPortafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPN
jmorales40
 
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
 
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/
 
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
 
Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1
MauricioSnchez83
 
Educar por Competencias GS2 Ccesa007.pdf
Educar por Competencias GS2 Ccesa007.pdfEducar por Competencias GS2 Ccesa007.pdf
Educar por Competencias GS2 Ccesa007.pdf
Demetrio Ccesa Rayme
 
HABILIDADES MOTRICES BASICAS Y ESPECIFICAS.pdf
HABILIDADES MOTRICES BASICAS Y ESPECIFICAS.pdfHABILIDADES MOTRICES BASICAS Y ESPECIFICAS.pdf
HABILIDADES MOTRICES BASICAS Y ESPECIFICAS.pdf
DIANADIAZSILVA1
 
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
 
FORTI-JUNIO 2024. CIENCIA, EDUCACION, CULTURA,pdf
FORTI-JUNIO 2024. CIENCIA, EDUCACION, CULTURA,pdfFORTI-JUNIO 2024. CIENCIA, EDUCACION, CULTURA,pdf
FORTI-JUNIO 2024. CIENCIA, EDUCACION, CULTURA,pdf
El Fortí
 
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
 

Último (20)

PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.PPT: El fundamento del gobierno de Dios.
PPT: El fundamento del gobierno de Dios.
 
Varón de 30 años acude a consulta por presentar hipertensión arterial de reci...
Varón de 30 años acude a consulta por presentar hipertensión arterial de reci...Varón de 30 años acude a consulta por presentar hipertensión arterial de reci...
Varón de 30 años acude a consulta por presentar hipertensión arterial de reci...
 
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
 
ENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docx
ENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docxENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docx
ENSAYO SOBRE LA ANSIEDAD Y LA DEPRESION.docx
 
Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...
Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...
Productos contestatos de la Séptima sesión ordinaria de CTE y TIFC para Docen...
 
Conocemos la ermita de Ntra. Sra. del Arrabal
Conocemos la ermita de Ntra. Sra. del ArrabalConocemos la ermita de Ntra. Sra. del Arrabal
Conocemos la ermita de Ntra. Sra. del Arrabal
 
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
 
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
 
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNETPRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
PRESENTACION DE LA SEMANA NUMERO 8 EN APLICACIONES DE INTERNET
 
Septima-Sesion-Ordinaria-del-Consejo-Tecnico-Escolar-y-el-Taller-Intensivo-de...
Septima-Sesion-Ordinaria-del-Consejo-Tecnico-Escolar-y-el-Taller-Intensivo-de...Septima-Sesion-Ordinaria-del-Consejo-Tecnico-Escolar-y-el-Taller-Intensivo-de...
Septima-Sesion-Ordinaria-del-Consejo-Tecnico-Escolar-y-el-Taller-Intensivo-de...
 
Portafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPNPortafolio de servicios Centro de Educación Continua EPN
Portafolio de servicios Centro de Educación Continua EPN
 
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
 
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
 
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
 
Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1Mauricio-Presentación-Vacacional- 2024-1
Mauricio-Presentación-Vacacional- 2024-1
 
Educar por Competencias GS2 Ccesa007.pdf
Educar por Competencias GS2 Ccesa007.pdfEducar por Competencias GS2 Ccesa007.pdf
Educar por Competencias GS2 Ccesa007.pdf
 
HABILIDADES MOTRICES BASICAS Y ESPECIFICAS.pdf
HABILIDADES MOTRICES BASICAS Y ESPECIFICAS.pdfHABILIDADES MOTRICES BASICAS Y ESPECIFICAS.pdf
HABILIDADES MOTRICES BASICAS Y ESPECIFICAS.pdf
 
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
 
FORTI-JUNIO 2024. CIENCIA, EDUCACION, CULTURA,pdf
FORTI-JUNIO 2024. CIENCIA, EDUCACION, CULTURA,pdfFORTI-JUNIO 2024. CIENCIA, EDUCACION, CULTURA,pdf
FORTI-JUNIO 2024. CIENCIA, EDUCACION, CULTURA,pdf
 
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
 

Equivalencias entre cuantificadores

  • 1. Equivalencias entre cuantificadores. Jenny Johana García Código: 1115940310 Grupo: 200611-1533 Universidad Nacional Abierta y a Distancia – UNAD Pensamiento lógico y matemático Programa de psicología 2019
  • 2. En lógica matemática, teoría de conjuntos y matemáticas en general, los cuantificadores son símbolos utilizados para indicar cuántos o qué tipo de elementos de un conjunto dado cumplen con cierta propiedad (por ejemplo, pertenencia, equivalencia u orden). Equivalencias entre cuantificadores.
  • 3.  Se tienen las siguientes relaciones universales:  ∀x∈A:P(x)⟷¬∃x∈A:¬P(x)Si: para todo x de A se cumple P(x), es equivalente a: no existe x en A que no cumpla P(x).∃x∈A:P(x)⟷¬∀ x∈A:¬P(x)Si: existe x en A que cumple P(x), es equivalente a: no para todo x de A, no se cumple P(x).En cuanto al cuantificador existencial único puede considerarse una extensión por definición en un lenguaje formal con igualdad teniendo dada la equivalencia:  ∃!x∈A:P(x)⟷∃z∈A ∀x,y∈A:P(z)∧(P(x)∧P(y)→x=y)Si : existe un único x en A que cumple P(x), es equivalente a: para todo x, y de A, que cumple P(x) y P(y), entonces x es igual a y.
  • 4.
  • 5. Referencias Bibliográfica Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores. Recuperado de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&doc ID=3226457&tm=1529246259924 Proposiciones y Conectores lógicos Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&do cID=3199701&tm=1529335849013 Cuantificadores Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&d ocID=3199701&tm=1529510366591 Tablas de verdad Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones, [Vídeo]. Recuperado de http://hdl.handle.net/10596/7961