Cuantificador

universal afirmativo

Pensamiento lógico y
matemático

Sandra Marcela Acevedo González

Grupo: (200611-650)
 ¿Qué es un cuantificador?
Los cuantificadores son los símbolos que determinan la cantidad
de una preposición categórica. Existen dos tipos de cuantificadores
principalmente; los cuales son:
•Cuantificador universal

•Cuantificador existencial
¿Qué es un cuantificador
universal?
En lógica matemática se representa con el símbolo ∀ el cual hace
referencia a un “todo”, este esta antepuesto a una variable para decir
que "para todo" elemento de un cierto conjunto se cumple
la proposición dada a continuación.
∀x ∈
B
Ejemplo
Todo elemento x de A pertenece a B
∀x ∈ B  x ∈ B
B A U
 Ejemplo
cada número positivo es mayor que cero           
1 es un número positivo                         
3 es un número positivo                           
Por lo tanto, 1 y 3 son mayores que cero   
        Se define:     
                    
  Px ↔ x es un número positivo
¿Qué es un cuantificador
universal afirmativo?
Las frases que comúnmente se usan para denotar el cuantificador
universal afirmativo son: 

Todos x -
Siempre todo x
que x

cada Cualquiera x
uno x Cada x 

para
cada x
Para
todo x
 Ejemplos
•x protege el circuito de luces” Para cada x, x protege el circuito de luces. En
este caso utiliza “x” para afirmar que cada elemento del universo tiene una
cierta propiedad                                             
Wx ↔ x protege el circuito de luces                                           
   (∀x) Wx           
 
•Expresar “todos los perros ladran” en cálculo de predicados. Solución:
Hallar primero el ámbito del cuantificador universal, que es “Si x es un
perro, entonces x ladra” y se define como                                             
  Gx ↔ x es un perro                                              
   Cx ↔ x ladra                                                   
  (∀x) Gx → Cx
 Bibliografía
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&docID=3199701&tm=1529510366591
 
Cuantificador universal. (2017, 8 de mayo). Wikipedia, La enciclopedia
libre. Fecha de consulta: 20:15, febrero 20, 2019 desde
https://es.wikipedia.org/w/index.php?
title=Cuantificador_universal&oldid=98965049.
 
 López, B. (S.F). Cuantificadores Universales. Recuperado
de http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/inteligencia
%20artificial/Apuntes/IA/Filminas-Cuantificadores.PDF