Ejercicio 1 Conceptualizacion

de Cuantificadores

Jarby Moya
 Equivale a la
negacion de una
funcion
proposicional
Cuantificador
Universal
El simbolo Ɐ representa
Negativo el cuantificador
universal. Se lee “para
todo”
Frases
utilizadas
Para Ningún
para
denotar el X
cuantificado Ninguno
r Universal No
negativo Nadie
Nada
 Si se desea representar la expresion:
“ninguno de los estudiantes perdio el
examen”, en este caso “ninguno de los
estudiantes” hace referencia a todo un
universo de todos los estudiantes y el
predicado es “perdio el examen” y por tanto
se usa para expresar una negacion.

Ejemplo
 La anterior expresion se puede modificar de la
siguiente manera:
Para todo X, si X estudiante entonces X es
perdio el examen

Ɐx (Estudiante(x) perdio (x))

 Si tenemos la expresion:
“nadie puede retirarse de la
reunion”

Ejemplo
 La
anterior expresion se puede
modificar de la siguiente
manera:

Ɐx (puede retirarse (x))

Referencias
Cardona, T. S. A. (2010). Lógica matemática
para ingeniería de sistemas y
computación. (pp. 107-109). Ediciones
Elizcom, Madrid. Recuperado
de https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/
reader.action?docID=3199701&ppg=109