EJERCICIO 1 UNIDAD 1

DUVAN ARLEY HERRERA MONTENEGRO

UNAD

RADIOLOGIA E IMAGEN DIAGNOSTICA

PENSAMIENTO LOGICO MATEMATICO

FUSAGASUGA

2019
Tema. Equivalencia entre cuantificadores.

Los cuantificadores son los diferentes símbolos, q se utilizan para indicar la cantidad o
clases de elementos q conforman un conjunto, cada símbolo representa una propiedad ya
sea, pertenencia, equivalencia u orden.

Los cuantificadores se nombran.

∀: cuantificador universal para todos

∃: cuantificador existencial para algunos

Para todo ( X)

 Proposiciones

 Para todo (x) es

 Ningún (x) es
 Algún (x) es
 Algún (x) no es

- Existenciales afirmativas y negativas algún (x) es y algún (x) no es.

- Universales afirmativas y negativas para todo (x) es y ningún (x) es.

Ejemplos.

 Existe al menos un profesor o un doctor en la familia

Esta se simboliza de la siguiente manera ∃x(p(x)vq(x) esta interpretación es falsa ya q su

equivalente lo es q ninguno en la familia sea profesor o doctor

 ∀XCN,x es negativo
Es falso porque no existen números naturales
 ∃XEZ(X+1=5
Es verdadero porque si X = 6, la igualdad es verdadera.
 REFERENCIA BIBLIOGRAICA

 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&do
cID=3199701&tm=1529510366591

 Recuperado de : Equivalencias entre Cuantificadores lógicos (Carlos Andrés Alba

R) hace 6 meses https://www.youtube.com/watch?v=YbNWqCMjn9Q