Matematicas II L ogica

Profesor: Flavio Gu nez

Predicados o funciones proposicionales:
Denition 1. Consideramos:
Un predicado (funcion proposicional o proposicion abierta) es cualquier sentencia de-
clarativa conteniendo una o mas variables o incognitas.
Cada predicado esta dado con un dominio que es el espacio donde viven (se consideran)
las variables.
Llamamos conjunto de verdad de p(x), cuyo dominio es U, al conjunto
P = {x U : p(x) es una proposicion verdadera}
Decimos que p(x) y q(x), ambas con dominio U, y conjuntos de verdad P y Q, respecti-
vamente, son logicamente equivalentes sis ambas tienen los mimos conjuntos de verdad,
esto es, P = Q.
Operadores , e con predicados
Denition 2. Sean p(x) y q(x) funciones proposicionales sobre un dominio U, con conjuntos
de verdad P y Q, respectivamente. Se tiene que el conjunto de verdad de:
a) p(x) es P
c
= U P
b) p(x) q(x) es P Q
c) p(x) q(x) es P Q
d) p(x) q(x) es P
c
Q
e) p(x) q(x) es (P
c
Q) (P Q
c
)
Hay dos formas principales de transformar un predicado en una proposicion:
1. Sustitucion
2. Cuanticacion
1
1. Sustituci on
Corresponde simplemente con evaluar la funcion proposicional, asignandole valores a cada
una de las incognitas.
Ejemplo. Considere los siguientes ejemplos:
1. Si p(x) : x > 5 en el dominio U = R, entonces p(1) : 1 > 5 es una proposicion falsa y
p(10) : 10 > 5 es una proposicion verdadera.
2. Si q(x, y) : x e y tienen el mismo nombre en el dominio UU con U = {alumnos en la sala de clases},
entonces la proposicion q(Pedro Elgueta, Juan Gonzalez) es falsa y q(Andrea Caceres, Andrea Hernandez)
es verdadera. Notar que
q(x, Andrea Hernandez) : x y Andrea Hernandez tienen el mismo nombre
x se llama Andrea
no es una proposicion sino que una funcion proposicional con s

loo una variable.

2. Cuanticadores
Denition 3. Si p(x) es una funcion proposicional sobre un dominio U, con conjunto de
verdad P, entonces:
a) La oracion para todo x, p(x), que se simboliza como (x)(p(x)), es una proposicion que
es V si el conjunto de verdad de p(x) es U, esto es, P = U.
b) La oracion existe x, p(x), que se simboliza como (x)(p(x)), es una proposicion que es
V si el conjunto de verdad de p(x) es no vaco, esto es, P = .
Los conectivos , , y los cuanticadores y satisfacen las siguientes propiedades en
predicados de una variable:
Theorem 1 (relaciones que incluyen equivalencias). Sean p(x) y q(x) predicados sobre un
dominio com un U. Entonces:
a) [(x)(p(x))] (x)( p(x))
b) [(x)(p(x))] (x)( p(x))
c) (x)(p(x) q(x)) (x)(p(x)) (x)(q(x))
d) (x)(p(x) q(x)) (x)(p(x)) (x)(q(x))
Theorem 2 (relaciones que incluyen implicancias). Sean p(x) y q(x) predicados sobre un
dominio com un U. Entonces:
a) [(x)(p(x)) (x)(q(x))] [(x)(p(x) q(x))]
b) [(x)(p(x) q(x))] [(x)(p(x)) (x)(q(x))]
c) (x)(p(x)) (x)(p(x)) cuando U =
d) (x)(p(x)) p(a) cuando a U.
e) p(a) (x)(p(x)) cuando a U.
2
Para funciones proposicionales a dos variables se tiene:
Theorem 3. Sea p(x, y) una funcion proposicional en un dominio U V . Entonces:
a) (x)(y)(p(x, y)) (y)(x)(p(x, y))
b) (x)(y)(p(x, y)) (y)(x)(p(x, y))
c) (x)(y)(p(x, y)) (x)(y)(p(x, y))
d) (x)(y)(p(x, y)) (x)(y)(p(x, y)) cuando U = y V =
Notar que los puntos c) y d) no son equivalencias. Encuentre un par de ejemplos que
demuestren este hecho.
Theorem 4 (relaciones que incluyen equivalencias). Sean p(x) y q(x) predicados sobre un
dominio com un U. Entonces:
a) [(x)(y)(p(x, y))] (x)(y)( p(x, y))
b) [(x)(y)(p(x, y))] (x)(y)( p(x, y))
c) [(x)(y)(p(x, y))] (x)(y)( p(x, y))
d) [(x)(y)(p(x, y))] (x)(y)( p(x, y))
3