Cuantificador Universal

Afirmativo
 Cuantificador Universal Afirmativo
 En lógica se usa el símbolo Ɐ denominado cuantificador
universal, las frases que comúnmente se usan para
denotar el cuantificador Universal Afirmativo son:

 1. Todos x – Todo x
 2. Para cada x
 3. Cada x
 4. Cada uno x
 5. Siempre que x
 6. Cualquiera x
 7. Para todo x
 Ejemplos de Cuantificador Universal
Afirmativo
 Todos los Chilenos comen salmón y juegan futbol.

 (Chileno (x) → come salmón (x) ^ juega futbol (x) )

 Todos los Bogotanos son Colombianos, se puede

representar.

 Ɐ ͓ (Bogotano (x) → Colombiano (x) )

 Siempre que el equipo gana o empata, todos quedan felices.

 Ɐ ͓ (Feliz (x) → equipo gana (x) v equipo empata (x) )

 Referencia Bibliográficas
 Proposiciones y Conectores lógicos
 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://ebookcentral-proquest-com.bibliotecavirtual.unad.
edu.co/lib/unadsp/reader.action?docID=3199701&ppg=1
2