ENUNCIADO ABIERTO O

PREDICADO
Es una oración declarativa en la cual intervienen variables,
que para convertirla en una proposición y así poder
asignarle su valor de verdad se pueden seguir dos
alternativas:
1. Reemplazando las variables por los nombres particulares
de los objetos.
2. Adicionando tantos cuantificadores como variables
tenga el enunciado.

Notación: 𝑃 𝑥 ; 𝑄 𝑥, 𝑦 ; 𝑅(𝑥1 , 𝑥2 , 𝑥3 )
ALGUNAS DEFINICIONES
PRELIMINARES
Conjunto de verdad: Colección de objetos
que al emplearlos en lugar de las variables en un
enunciado abierto lo convierten en la proposición
verdadera.

Universo de Discurso: Objetos disponibles

para ser tomados en cuenta.
 EJEMPLO
Predicado:
𝑷(𝒙, 𝒚): La diferencia entre 𝒙 y 𝒚, es que 𝒙 es una profesión que
atiende a diversas necesidades sociales (como la fiscal o las
finanzas), la cual necesita título. Por otro lado 𝒚 es una técnica
para registrar movimientos de carácter económico y no se
necesita de un título para ser ejercida.

Universo de Discurso:
𝑒𝑛𝑓𝑒𝑟𝑚𝑒𝑟í𝑎 , 𝑎𝑢𝑥𝑖𝑙𝑖𝑎𝑟 𝑑𝑒 𝑒𝑛𝑓𝑒𝑟𝑚𝑒𝑟í𝑎 ,
(contaduría , contabilidad) , (medicina, efermería),
𝑐𝑜𝑛𝑡𝑎𝑏𝑖𝑙𝑖𝑑𝑎𝑑, 𝑐𝑜𝑛𝑡𝑎𝑑𝑢𝑟í𝑎 , 𝑒𝑛𝑓𝑒𝑟𝑚𝑒𝑟í𝑎, 𝑚𝑒𝑑𝑖𝑐𝑖𝑛𝑎

Conjunto de verdad:
(contaduría , contabilidad)

Información tomada de: https://n9.cl/vw0nd

 CUANTIFICADORES
CUANTIFICADOR UNIVERSAL
Símbolo: 
Lectura del enunciado x, P(x): “para todo
x, P(x)”.
¿Cuándo es verdadero el enunciado x,
P(x)?: cuando el conjunto de verdad
para P(x) es el universo completo.
CUANTIFICADOR EXISTENCIAL
Símbolo: 
Lectura del enunciado x, P(x): “existe un x tal que
P(x)”.
¿Cuándo es verdadero el enunciado x, P(x)?: cuando
el conjunto de verdad para P(x) no es vacío.

Símbolo: !
Lectura del enunciado !x, P(x): “existe un único x
tal que P(x)”.
¿Cuándo es verdadero el enunciado !x, P(x)?: cuando
el conjunto de verdad para P(x) consta
exactamente de un elemento del universo.
 EQUIVALENCIAS CON
CUANTIFICADORES

x, P( x)  x, P( x)

Ejemplo
P(x): x tiene sobrepeso.

No es cierto que Existe un x que tal

para todo x , x tiene = que, x no tiene
sobrepeso sobrepeso.
 EQUIVALENCIAS CON
CUANTIFICADORES
x, P( x)  x, P( x)
Ejemplo
P(x): x es un estudiante universitario mediocre

No existe un x tal que, x = Para todo x, x no es

sea un estudiante un estudiante
universitario mediocre universitario mediocre