PENSAMIENTO LOGICO MATEMATICO

SERGIO ANDRES MUÑOZ LIZARAZO

Unidad 1: Tarea 1 - Proposiciones y tablas de verdad
Grupo: 200611_162
Ingeniería electrónica

CEAD BUCARAMANGA
 DEFINICION

• Cuantificador: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)
CUANTIFICADOR EXIXTENCIAL UNICO

Se usa para indicar que hay un único elemento de un conjunto A el

conjunto que cumple con determinada propiedad se escribe:
Ǝ! x A:p(x)

Se lee :
“Existe un único elemento x de A que cumple la proposición p(x)”.
CUANTIFICADOR EXISTENCIAL ÚNICO

• P(x):x/x El Presidente de Estados Unidos

Solo hay un Presidente de Estados Unidos
Ǝ! x :p(x): Existe un x tal que x es el Presidente. ƎP(x)
• P(x):x/x La Muralla China
Solo hay una Muralla China
Ǝ! x :p(x):Existe un x tal que x es La Muralla. ƎP(x)
 REFERENCIAS BIBLIOGRAFICAS

• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.
•

• GRACIAS POR SU TIEMPO