Está en la página 1de 13

Es una proposicin abierta si:

Contiene una o ms variables y


No es una proposicin, pero
Se convierte en una proposicin cuando las
variables que aparecen en ella se reemplaza
por ciertas opciones permisibles

Universo del
Discurso
El conjunto de las opciones

permisibles de valores para las


variables en una proposicin
abierta se llama el Universo o
Universo del Discurso.

Notacin
Se utiliza la notacin p(x), en donde p

es el nombre de la proposicin abierta


y x es el nombre de la variable.
Ejemplos:
p(x) : x es un nmero entero
q(x) : A x le gusta el helado de fresa
r(x,y): x + y es un nmero entero par

Interpretacion
es
Las interpretaciones en universos

finitos transforman las expresiones


de clculo de predicados en
proposiciones.

Cuantificador Universal
x, p(x)
p(x) es el predicado x ha pagado
Para hallar esta interpretacin es

necesario:
Una lista de clientes (universo del discurso)
Una asignacin para p(x)

En este caso x es una variable acotada por

el cuantificador universal

x, p(x)
Se selecciona un dominio

finito que consta de n entes:


a1,a2,,an
x, p(x) es verdadero sii

p(a1) p(a.2) ... p(an) es


verdadero

Para una proposicin abierta p(x)


x p(x) se expresa,
para todo x, p(x)
para cada x p(x)
para cualquier x p(x)
x, y p(x,y) o x, y p(x,y) se
expresa,
para todo x, y ,p(x,y)
para todos x y y p(x,y)

Cuantificador
Existencial
x / P(x)
x / p(x) es verdadero si existe al

menos una asignacin de x para el


cual p(x) sea verdadera

En este caso x est acotada por el

cuantificador existencial

Para una proposicin abierta:


x p(x) se puede expresar,
para algn x, p(x)
para al menos un x p(x)
existe un x tal que p(x)
x y q(x,y) o x,y q(x,y) se
expresa,

Leyes de De Morgan
x, p(x)

[p(a1) p(a2) ... p(an)]


p(a1) p(a2) ... p(an)
x / p(x)

x, p(x)

[p(a1) p(a2) ... p(an)]


p(a1) p(a2) ... p(an)
x / p(x)

Combinando cuantificadores

-P(x,y):

x divide a y, x,y enteros

- x, y, p(x,y)
Para todo entero existe un mltiplo,
(uno para cada entero, puede ser diferente)

- x, y, p(x,y)
Existe un entero que divide a todos los
enteros
(el mismo para todos)

Combinando cuantificadores
- y, x, p(x,y)
Para todo entero existe un divisor entero
(cada entero puede tener su propio divisor,
pueden ser distintos).

- y, x, p(x,y)
Existe un entero que es dividido por todos
los enteros (el mismo entero para todos los
enteros)