Cuantificador

Universal Negativo
Nombre: Luis José Batista Mórelo
Curso: Pensamiento lógico y matemático
Grupo: 200611_924
• Proposiciones: es un enunciado, frase o expresión que
tiene un significado determinado y que puede tener un
valor de verdadero o falso.
• Cuantificador: es una expresión que indica la cantidad de
veces que un predicado o propiedad se satisface dentro de
una determinada clase.
• Universal: Termino que se refiere a todos los objetos que
poseen una misma propiedad expresada en el predicado.

Conceptos básicos
Símbolo

En lógica, se usa para decir que "para todo" elemento de un

cierto conjunto se cumple la proposición dada a
continuación.

Cuantificador Universal
Se usa para afirmar que ninguno de los elementos de un
conjunto cumplen con una característica.
Frases que usualmente se usan en el cuantificador negativo:
• No
• Nada
• Nadie
• Ninguno
• Para ningún x

Cuantificador Universal
Negativo
• Para todo x, x no es unadista
∀x (∼unadista(x))

• Nadie aprobó el curso de lógica matemática

∀x (∼aprobó)

• Para ningún estudiante es importante estudiar o aprobar

∀x (Estudiante(x)) ⟶ Estudiar(x) v Aprobar(x)

Ejemplo
• Wikipedia.(2019, 1 de septiembre). Cuantificador. Recuperado
de https://es.wikipedia.org/wiki/Cuantificador_universal

• 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?pp
g=12&docID=3199701&tm=1529335849013

• Cuantificadores. Consultado el día 30 de enero de 2020.

Disponible en http://
aprendeenlinea.udea.edu.co/boa/contenidos.php/8b077438024

Referencias
e1bddfbc83706da8049f2/138/1/contenido/contenido/cuantifica
dores.html

bibliográficas