Equivalencias entre cuantificadores

Karol Giveth Palencia Guevara.

Marzo 2019.

UNAD Universidad Abierta y a Distancia.

Ingeniería industrial.

Pensamiento Lógico Matemático

Código: 200611_218
Introducción

Este documento va dirijo a la tutora de pensamiento lógico matemático y los alumnos que se
encuentran en el curso, daré a conocer los conceptos fundamentales de la lógica
proposicional, tablas de verdad en proposiciones compuestas, álgebra de proposiciones,
tautologías y contradicciones y contingencias, proposiciones categóricas, cuantificadores y
como los aplica para la resolución de problemas; evaluando mi eficiencia para aprovechar las
herramientas otorgadas por la universidad UNAD.
Equivalencias entre cuantificadores

Teniendo en cuenta lo anterior podemos ver que tenemos proposiciones que son cuantificadas
(universales o existenciales) pueden ser tanto afirmativas como negativas. Se pueden
representar entre otras las siguientes:

Equivalencias entre cuantificadores

Se sabe que la verdad de una de ellas se sigue la falsedad de su contradictoria. Si se niega

cualquiera de ellas se obtiene una equivalencia. Cuando se intercambian cuantificadores
también se cambia el cuantificador y su signo.

PREPOSICION FORMULA
Para todos x es ∀ X p(X)
Ningún x es ∀ x ¬p(x)
Algún x es ∃x p (x)
Algún x no es ∃x ¬p(x)

Ejemplo 1:

1. Todos son estudiantes de la Unad es equivalente a decir que es falso que algunos no sean
estudiantes de la Unad

Todos son estudiantes: para todo (x) es

Su equivalencia, es decir: que algunos no sean estudiantes

La fórmula es:

Ejemplo 1

Ejemplo 2

Algunos profesores de la Unad son buenos es equivalente a decir es falso que ningún profesor
de la Unad sea bueno

Ejemplo 2
Algunos profesores de la Unad son buenos:

Algunos profesores de la Unad son buenos

Su equivalencia

Es decir: ningún profesor de la Unad sea bueno

Su equivalencia

Su fórmula es:

Referencia Bibliográfica

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=12&docID=3199701&tm=1529335849013

Soluciones matemáticas discretas(s,f) Lógica De Predicados >Cuantificadores. Recuperado de:

https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-po/cuantificadores

https://prezi.com/p/qd00kvioz3g5/equivalencias-entre-cuantificadores/

https://prezi.com/p/qd00kvioz3g5/equivalencias-entre-cuantificadores/