Cuantificador Universal Afirmativo

Jhon Edison Ramírez Arrubla.

Septiembre 2019.

Universidad Nacional Abierta y a Distancia (UNAD).

Bogotá., D.C.
Pensamiento Lógico y Matemático - Psicología.

1
 Cuantificador
Los cuantificadores son símbolos que
se usan para indicar cuantos elementos
de un conjunto cumplen con cierta
propiedad.
2
 Cuantificador Universal Afirmativo

Este es uno de los diferentes cuantificadores, que

determina que algo es cierto para todos los individuos,
sea A una expresión y sea X una variable. Si A es
verdadero para todos los valores de X, escribimos (∀x) A.

3
 Cuantificador Universal Afirmativo

Ejemplos 1: Cada pájaro es lindo si canta y vuela

∀x (pajarsoeslindos) (vuelan (x) ^ cantan(x))

∀x p(x) b(x) ^ c(x)

4
Cuantificador Universal Afirmativo

Ejemplos 2: todo bogotano es colombiano

∀x (bogotano (x) colombiano (x))

∀x b(x)

5
 Cuantificador Universal Afirmativo
Ejemplos 3: Siempre que el equipo gana o empata, todos
quedan felices

∀x (felices (x) equipogana (x) v equipoempata (x))

∀x b(x) g(x) v e(x)

6
Gracias.