Ejercicio 1 conceptualización de cuantificadores

Naidid Inés Diaz Sarmiento

Grupo: 1116

Tutor
Juan David Lacharme

Universidad Nacional Abierta y a Distancia

UNAD
Turbo Antioquia
24/02/2020
Ejercicio 1 conceptualización de cuantificadores
Elección B Cuantificador Universal negativo
Se llama cuantificador a toda frase o palabra que indica cuantos objetos cumplen con
determinada propiedad, símbolos que determinan la cantidad de una proposición, el cual se
simboliza así: ∀
Se califican como: cuantificador universal y existencial, donde en el cuantificador universal
se presentan dos tipos de cuantificadores afirmativo y negativo.
El cuantificador universal negativo es la negación de una determinada función o expresión,
donde hay una connotación negativa.
Las frases que se usan para denotar un cuantificador negativo son:
 Ninguno
 Para ningún x
 No
 Nadie
 Nada
Ejemplo1
Nadie gano el examen de ingles
Se formaliza así: ∀x (¬gano (x))
Ejemplo 2
Para todo x si x es futbolista de barrio entonces x no es profesional
Se formaliza así: ∀x (futbolista (x) → ¬profesional (x))

Referencias bibliográficas
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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=109

Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas

universitarias. México: McGraw-Hill Interamericana. Recuperado de https://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3194062&ppg=12