Ejercicio 1: Conceptualización de Cuantificadores

Descripción del ejercicio

Con base en los contenidos desarrollados en la lectura, el estudiante debe escoger

uno de los siguientes temas y presentarlo de manera gráfica a través de una presentación,

utilizando un recurso didáctico tipo PREZI, PowerPoint u otra herramienta digital. A partir

del tema deberá dar su definición y dos ejemplos.

Cuantificador Universal

En lógica, es un símbolo que se antepone a una variable para afirmar que todos los

posibles valores de ésta son verdaderos. Es decir que siendo A una expresión y x una

variable; para indicar que A es verdadero para todos los posibles valores de x escribiremos

∀xA. Este símbolo (∀) se lee “para todo”. (Cardona, 2010)

Cuantificador Universal Afirmativo

En una proposición abierta es posible que cambie el valor de verdad en una de las

variables por lo tanto cuando el valor de ésta es verdadero se denomina Cuantificador

Universal Afirmativo y las frases con las cuales se denota son:

- Todos x – Todo x

- Para cada x

- Cada uno x
 - Siempre que x

- Cualquiera x

- Para todo x

Ejemplo 1: Expresaremos “Todos los peces nadan en el mar” en cálculo de

predicados:

Solución: Hallaremos primero el ámbito del cuantificador universal, que es “Si x es

un pez, entonces x nada en el mar” y se define como

Px ↔ x es un pez

Nx ↔ x nada en el mar

(∀x) Px → Nx

Ejemplo 2: Expresaremos “Todas las enfermeras son inteligentes y amables” en

cálculo de predicados:

Solución: “Si x es una enfermera, entonces x es inteligente y amable” y se define

como

Ex ↔ x es una enfermera

Ix ↔ x es inteligente

Ax ↔ x es amable

(∀x) Ex → Nx ^ Ax

(Lopez Takeyas, s,f)

Y en este enlace encontrarán la presentación en PREZI

https://prezi.com/view/8SDtLcmwgRn3OaaYB5kN/