Universidad Tcnica Federico Santa Mara

Departamento de Informtica

Fundamentos de Informtica I
Primer semestre de 2009

Ejercicios resueltos de temas del Certamen no 1

1. Construya la tabla de verdad para la expresin, considerando que p, q y r son proposiciones atmicas.
(a) (p (q r))
Solucin:

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

q
F
F
V
V
F
F
V
V

q r
F
F
V
F
F
F
V
F

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

p
F
V
F
V
F
V
F
V

p r
V
V
V
V
V
F
V
F

(p (q r))
F
F
V
F
V
V
V
V

(b) q (r p)
Solucin:

q (p r)
V
V
F
F
V
F
F
F

2. Simplique la expresin denotando en cado paso la ley empleada.

(p q) (p q) ((p r) q)
Solucin:
(p q) (p q) ((p r) q)
(p q) (p q) ((p r) q)
(p q) (p q) ((p q) r)
(p q) (p q)

De Morgan, Doble negacin

Conmutativa, Asociativa
Absorcin

3. Utilizando las ecuaciones p q p q y p q (p q) (p q), elimine la

equivalencia y la condicional y simplique la expresin (p q) (p q).
Solucin:
(p q) (p q) ((p q) (p q)) ((p q) (p q))
((p q) p q) (p q (p q))
(((p q) (q q) (p ((q q) (p q))
(p q p) (p p q) (p q) (p q) (p p) q q
1

4. Mientras demuestra la siguiente equivalencia lgica, denote los pasos y los razones para
establecerlos:
(a) p q (p q r) p q r
Solucin:
p q (p q r)
(p q) ((p q) r) Ley asociativa y de Morgan
s (s r)
Sustitucin s = p q
(s s) (s r)
Ley distributiva
(s r)
Ley de medio excluido y de identidad
pqr
Sustitucin s = p q
(b) ((p q) (p q r)) p q
Solucin:
(p q) (p q r)
((p q) ((p q) r) Ley asociativa y de Morgan
(s (s r)
Sustitucin s = p q
(s (s r)
Reemplazo de implicancia
s (s r)
Ley de doble negacin
spq
Ley de absorcin
(c) (p q) ((p q) q) (q p)
Solucin:
(p q) ((p q) q)
(p q) ((p q) (q q))
(p q) ((p q) V )
(p q) (p q)
(p q) p q
((p p) (q p)) q
q p q
p q

Ley
Ley
Ley
Ley
Ley
Ley
Ley

ditributiva
de medio excludo
de dominacin
de Morgan
distributiva
de medio excludo y de dominacin
de idempotencia

5. Simplique las siguientes expresiones:

(a) (p (q r)) (p q)
Solucin:
(p (q r)) (p q) (p q r) (p q)
(p q) r (p q) p q r
(b) (xy((p(x, y) q(x, y)) r(x, y)))
Solucin:
(xy((p(x, y) q(x, y)) r(x, y))) xy((p(x, y) q(x, y)) r(x, y))
xy((p(x, y) q(x, y)) r(x, y)) xy((p(x, y) q(x, y) r(x, y))
6. Sea p (x, y) la proposicin abierta "x divide a y", y el universo de ambas variables
es el conjunto de nmeros enteros. Determine el valor de verdad de las siguientes
proposiciones; justique su decisin.
(a) p (27, 3)
Es falsa. El resto de la divisin es 27, por tanto 27 no divide (exactamente) a 3.
(b) y p (1, y)
Es verdadera. 1 divide a cualquier otro nmero entero.
2

(c) x p (x, x)
Es falsa. Aunque cualquier nmero entero es divisible por s mismo, el 0 no lo es.
(d) yx p (x, y)
Es falsa. Aunque el nmero entero 0 se puede dividir por cualquier otro nmero,
no se puede dividir por s mismo.
(e) xy ((p (x, y) p (y, x)) (x = y))
Es falsa, ya que si x = 2 e y = 2, x e y se dividen mutuamente, pero no son
iguales.
7. Refute y exprese cada una de las siguientes proposiciones en espaol.
(a) Karina tendr una buena educacin si pone sus estudios antes que su inters en
ser estrella de cine.
p : Karina pone sus estudios antes de su inters en el cine
q : Karina tiene una buena educacin
Expresin original: p q p q
Expresin refutada: (p q) p q
Respuesta: Karina no ha tenido una buena educacin, aunque ha puesto sus
estudios antes que su inters en el cine.
(b) Si Homero aprueba su curso de programacin y termina su proyecto de estructura
de datos, podr tomar el curso de lenguajes de programacin el prximo semestre.
p : Homero aprueba su curso de programacin
e : Homero termina su proyecto de ED
l : Homero toma el curso de lenguajes de programacin
Expresin original: (p e) l (p e) l
Expresin refutada: ((p e) l) p e l
Respuesta: Homero aprob el curso de programacin y temin su proyecto de estructura de datos, pero no tomar lenguajes de programacin el prximo semestre.
(c) Norma est haciendo su tarea de matemticas y Claudia est practicando sus
lecciones de piano.
m : Norma hace tarea de matemticas
p : Claudia practica piano
Expresin original: m p
Expresin refutada: (m p) m p
Respuesta: Norma no est haciendo su tarea de matemticas Claudia no practica piano.
(d) Si Lorenzo se va de vacaciones, entonces el se divertir si no le preocupa viajar
en avin.
l : Lorenzo se va de vacaciones
a : no le preocupa volar en avin
d : Lorenzo se divierte
Expresin original: l (a d) l a d
Expresin refutada: (l a d) l a d
Respuesta: Lorenzo se fue de vacaciones y no le preocupa viajar en avin, pero
no se divierte.
8. Escriba las siguiente oraciones en forma simblica. El universo del discurso es el
conjunto de personajes de "Friends": Phoebe, Mnica, Rachel, Chandler y Joe.
3

Se han denido los siguientes predicados:

es(x, t)  x es t
miente(x)  x miente

quiere(x, y)  x quiere a y
regala(x, y)  x hace regalo a y

(a) Si Mnica Rachel dicen la verdad, entonces Mnica y Chandler se quieren.

miente(m) miente(r) (quiere(m, c) quiere(c, m))
(b) Todos excepto Joe quieren a Phoebe, y nadie excepto Rachel quiere a Joe.
x(es(x, j) quiere(x, p)) x(es(x, r) quiere(x, j))
(c) Si Joe no miente, entonces Chandler hace regalos a Mnica, y Mnica hace regalos
a alguien.
(miente(j) regala(c, m)) x regala(m, x)
miente(j) (regala(c, m) x regala(m, x))
(d) Todos quieren a alguien y no quieren a alguien ms.
xyz(quiere(x, y) quiere(x, z) es(x, z))
(e) Todos excepto Joe quieren a Phoebe. (No usar cuanticadores)
quiere(p, p) quiere(m, p) quiere(r, p) quiere(c, p)
9. Demuestre la validez de la siguiente expresin:
x(P (x) R(x)) x(P (x) M (x)) x(R(x) M (x))
Solucin: Para que una implicancia no sea vlida debe existir un modelo para el cual
el antecedente sea verdadero y el consecuente falso al mismo tiempo.
Para que x(P (x) R(x)) x(P (x) M (x)) sea verdadero, ambas parte de la
conjuncin deben ser verdaderas: x(P (x) R(x)) y x(P (x) M (x)). Llamemos a
el x que hace cierta la segunda parte: P (a) M (a), y para ese mismo trmino debe
ser cierto P (a) R(a) . A su vez ambas partes de la conjuncin P (a) M (a) deben
ser ciertas: P (a) = V y M (a) = V . Ya que P (a) es cierto, del P (a) R(a) se deduce
que R(a) = V .
Si x(R(x) M (x)) es falso, entonces (x(R(x) M (x))) debe ser verdadero.
(x(R(x) M (x))) x(R(x) M (x)). Ya que esto es cierto x, debe ser cierto
para a: (R(a) M (a)), o sea R(a) = V y M (a) = F .
Llegamos a una contradiccin, ya que M (a) es verdadero y falso a la vez, por tanto la
suposicin de que la expresin es invlida no es cierta.
10. Escriba las siguiente oraciones en forma simblica deniendo las proposiciones atmicas. Dena el universo del discurso en caso de ser necesario.
(a) Si un tringulo tiene dos lados de igual longitud, entonces es un isceles. Si un
tringulo es isceles, entonces tiene dos ngulos de igual medida. En un tringulo
no hay dos ngulos de igual medida. Por lo tanto, el tringulo no tiene dos
lados de igual longitud.
Solucin:
Universo del discurso: todos los tringulos en un plano
L(x): tringulo x tiene 2 lados de igual longitud
I(x): tringulo x es un isceles
A(x): tringulo x tiene 2 ngulos de igual medida
4

Dos formas de respuesta:

x(L(x) I(x))
x(I(x) A(x))
o (x(L(x) I(x)) x(I(x) A(x)) A( )) L( )
A( ))
L( ))
(b) El sol brillante y la humedad baja son sucientes para que juegue tenis despus
de terminar de hacer la tarea del curso de Estructura de Datos.
Solucin:
S : sol brillante
H : humedad baja
T : tarea de ED terminada
J : jugar tenis
Dos formas de respuesta: (S H) (T J) (S H T ) J).
11. Es consistente la siguiente especicacin del sistema? Justique su decisin.
(a) La red inalmbrica perder su nivel de ancho de banda slo si se ha instalado
la nueva antena repetidora. Por otro lado, para que la red inalmbrica soporte
nuevos usuarios es necesario que se haya instalado la nueva antena repetidora. La
red inalmbrica perder su nivel de ancho de banda solo si soporta a los nuevos
usuarios. La red inalmbrica mantiene su ancho de banda.
Solucin:
Las variables proposicionales se denen de la siguiente manera:
p: La red inalambrica perdera su ancho de banda.
q : Se ha instalado la nueva antena repetidora.
r: La red inalambrica soporta nuevos usuarios.
Las especicaciones se pueden escribir como sigue: q p, q r, r p, p
Para que las especicaciones sean consistentes, se debe encontrar una asignacin
de valores de verdad que haga todas las especicaciones verdaderas al mismo
tiempo. Ya que p debe ser verdadera, se deduce que p debe ser falsa. Como p es
falsa, las implicancias q p, r p indican que el nico valor posible a tomar por
las variables q y r es falso. Teniendo que q y r son falsas, la ltima especicacin
q r es verdadera. Por lo que podemos concluir que las especicaciones de
sistemas son consistentes.
(b) El sistema se encuentra en el modo multiusuario, si y slo si est operando normalmente. Si el sistema opera normalmente, el kernel est funcionando. El kernel
no est funcionando, el sistema est en un modo interrumpido. Si el sistema no
est en el modo multiusuario, entonces est en el modo interrumpido. El sistema
no est en modo interrumpido.
Solucin:
La especicacin se formaliza de la siguiente manera:
M O, O K , K I , M I , I , donde
O: sistema opera normalmente
M : sistema est en modo multiusuario
K : kernel funciona normalmente
I : sistema est en modo interrumpido
Para que la especicacin sea consistente, debe existir al menos una asignacin
de valores de verdad que haga todas las armaciones verdaderas.
Para que I sea verdadera, debe ser I = F . Pot tanto, K I verdadero implica
que K = V , y consiguientemente K = F .
5

Teniendo en cuenta los resultados anteriores, para que M I y O K sean

verdaderas, M y O deben ser falsas, por tanto M = V y O = F .
La primera armacin nos indica que M debe tener el mismo valor de verdad que
O, por tanto M = F , lo cual contradice el resultado anterior.
Ya que no puede existir ninguna asignacin de valores de verdad a variables
proposicionales que satisfaga todas las armaciones, la especicacin no es consistente.
12. D una derivacin para el siguiente argumento lgico. Las reglas de inferencia se
limitan al modus ponens, modus tollens, y ley de combinacin. Establezca qu leyes
se utilizan en cada paso.

P
P (Q R)
(a)
(Q R) S
S
Solucin:
Paso
1. P
2. P (Q R)
3. Q R
4. (Q R) S
5. S

Linea
1,2
3,4

Razn
Premisa
Premisa
Modus Ponens
Premisa
Modus Ponens

P Q
QR
(b)
R
P
Solucin:
Paso
1. R
2. Q R
3. Q
4. P Q
5. P

Linea
1, 2
3, 4

Razn
Premisa
Premisa
Modus tollens
Premisa
Modus Tollens

13. Demuestre que el siguiente argumento no es vlido.

P Q
QR
(a) R S
S Q
S
Demostracin:
Para que el argumento no sea vlido, debe existir una asignacin de valores de
verdad a las variables proposicionales en la cual las premisas sean verdaderas y
la conclusin falsa.
Para que la conclusin sea falsa, S debe ser falso. Entonces, S = F .
6

Para que la premisa S Q sea verdadera, Q debe ser verdadero, o sea Q = V .

Por la misma razn, R = V para lograr que Q R sea verdad. Y nalmente,
P = V , ya que debe tener el mismo valor de verdad que Q por la premisa P Q.
As, la asignacin de valores de verdad de las variables P = V , Q = V , R = V Y
S = F hace que las premisas sean verdaderas y la conclusin falsa. Por tanto, el
argumento no es vlido.

P
P R
(b) P (Q R)
Q S
S
Demostracin:
Para que el argumento no sea vlido, debe existir una asignacin de valores de
verdad a las variables proposicionales en la cual las premisas sean verdaderas y
la conclusin falsa.
Para que la conclusin sea falsa, S debe ser falso. Entonces, S = F .
Para que la premisa P sea verdadera, P debe ser verdadero, P = V , y a su vez
R = V para lograr que P R sea verdad. Tomando en cuenta que P = V ,
R = V y la premisa P (Q R) debe ser verdadera, Q debe ser verdadero
Q=V.
As, la asignacin de valores de verdad de las variables P = V , Q = V , R = V y
S = F hace que las premisas sean verdaderas y la conclusin falsa. Por tanto, el
argumento no es vlido.
14. Formule el siguiente argumento en lgica de predicados y derive formalmente la
conclusin. El universo del discurso es el conjunto de personas.
(a) Si la banda no pudiera tocar rock o las bebidas no llegasen a tiempo, la esta de
Ao Nuevo tendra que cancelarse y Alicia se enojara. Si la esta se cancelara,
habra que devolver el dinero. No se devolvi el dinero. Por lo tanto, la banda
pudo tocar rock.
Solucin: Se utilizaran las siguientes proposiciones:
P : la banda pudo tocar rock
Q: las bebidas llegaron a tiempo
R: la esta de Ao Nuevo se cancel
S : Alicia estaba enojada
T : Hubo que devolver el dinero
El argumento queda formalmente de la siguiente manera:

(P Q) (R S)
RT
T
P

1
2
3
4
5
6
7
8
9

Paso
RT
T
R
(P Q) (R S)
R S
(R S)
(P Q)
P Q
P

Lnea(s)
1, 2
3
5
4, 6
7
8

Razn
Premisa
Premisa
Modus Tollens
Premisa
Adicin
de Morgan
Modus Tollens
De Morgan y Doble Negacin
Simplicacin

(b) A alguien de este curso le gusta observar ballenas. Todas las personas a las que le
gusta observar ballenas se preocupan por la contaminacin del ocano. Por tanto,
hay alguien en este curso que se preocupa por la contaminacin del ocano.
Solucin: Deniremos los siguientes predicados:
c(x): x es alumno del curso
b(x): a x le gusta observar ballenas
o(x): x se preocupa por la contaminacin del ocano
El argumento queda formalmente de la siguiente manera:

x (c(x) b(x))
x (b(x) o(x))
x (c(x) o(x))

1.
2.
3.
4.
5.
6.
7.
8.
9.

Paso
x (c(x) b(x))
x (b(x) o(x))
c(a) b(a)
b(a) o(a)
c(a)
b(a)
o(a)
c(a) o(a)
x (c(x) o(x))

Lnea
1
2
3
3
4, 6
5, 7
8

Razn
Premisa
Premisa
Particularizacin existencial
Particularizacin universal
Simplicacin
Simplicacin
Modus Ponens
Combinacin
Generalizacin Existencial

(c) Todas las personas de Santiago estn a menos de 200 km del ocano. Alguien de
Santiago no ha visto nunca el ocano. Entonces, alguien, quien est a menos de
200 km del ocano, nunca lo ha visto.
Solucin: Deneremos los siguientes predicados:
stgo(x): x es de Santiago
km(x): x est a menos de 200 km del oceno
oceano(x): x ha visto el oceno
El argumento se dene formalmente de la siguiente manera:

x(stgo(x) km(x))
x(stgo(x) oceano(x))
x(km(x) oceano(x))

Paso
x(stgo(x) oceano(x))
stgo(a) oceano(a)
stgo(a)
oceano(a)
x(stgo(x) km(x))
stgo(a) km(a)
km(a)
km(a) oceano(a)
x(km(x) oceano(x))

1.
2.
3.
4.
5.
6.
7.
8.
9.

Lnea
1
2
2
5
3, 6
4, 7
8

Razn
Premisa
Particularizacin universal
Simplicacin
Simplicacin
Premisa
Particularizacin universal
Modus Ponens
Combinacin
Generalizacin existencial

15. Demuestre formalmente el siguiente argumento:

x(P (x) Q(x))

xP (x)
(a) x(Q(x) R(x))
x(S(x) R(x))
xS(x)
Solucin:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.

Paso
x(P (x) Q(x))
xP (x)
P (a)
P (a) Q(a)
Q(a)
x(Q(x) R(x))
Q(a) R(a)
R(a)
x(S(x) R(x))
S(a) R(a)
S(a)
xS(x)

Lnea
2
1
3, 4
6
5, 7
9
10
11

Razn
Premisa
Premisa
Particularizacin existencial
Particularizacin universal
SD
Premisa
Particularizacin universal
SD
Premisa
Particularizacin universal
MT
Generalizacin existencial

x (p(x) (q(x) r(x)))

(b) x (p(x) s(x))
x (r(x) s(x))
Solucin:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.

Paso
x (p(x) (q(x) r(x)))
x (p(x) s(x))
p(a) (q(a) r(a))
p(a) s(a)
p(a)
q(a) r(a)
r(a)
s(a)
r(a) s(a)
x (r(x) s(x))
9

Lnea
1
2
4
3, 5
6
4
7, 8
9

Razn
Premisa
Premisa
Particularizacin universal
Particularizacin universal
Ley de simplicacin
Modus Ponens
Ley de Simplicacin
Ley de Simplicacin
Ley de Combinacin
Generalizacin Universal

x(C(x) L(x))
y(C(y) D(y))
(c)
xL(x)
xD(x)
Solucin:
1.
2.
3.
4.
5.
6.
7.
8.
9.
(d)

Paso
xL(x)
L(a)
x(C(x) L(x))
C(a) L(a)
y(C(y) D(y))
C(a) D(a)
C(a)
D(a)
xD(x)

Lnea
1,
3,
5,
2, 4,
6,7,
8

Razn
Premisa
Particularizacin existencial
Premisa
Particularizacin Universal
Premisa
Particularizacin Universal
MT
SD
GE

x(J(x) S(x) P (x))

P (m)
S(m)
Solucin:
1.
2.
3.
4.
5.
6.

x((J(x) S(x)) P (x))

(J(m) S(m)) P (m)
P (m)
(J(m) S(m))
(J(m) S(m))
S(m)

Premisa
1, Particularizacion con x := m
Premisa
2, 3, Modus Tollens
4, Ley de Morgan
5, Ley de Simplicacion

16. Demuestre que si n es entero y n3 + 5 es impar, entonces n es par.

(a) por demostracin indirecta
Demostracin: Supongamos que n es impar. Se debe demostrar que n3 + 5 es par.
Ya que n es impar, n = 2k + 1 para algn entero k . Entonces, n3 + 5 = (2k +
1)3 + 5 = (8k 3 + 12k 2 + 6k + 1) + 5 = 2(4k 3 + 6k 2 + 3k + 3). Al denotar como
l = (4k 3 + 6k 2 + 3k + 3), tenemos que n3 + 5 = 2 l donde l es entero. El hecho
anterior signica que n3 + 5 es par.
Se demostr que si n es impar, entonces n3 + 5 es par. Por lo tanto, queda
demostrado que si n3 + 5 es impar, n es par.
(b) por contradiccin (reduccin al absurdo)
Demostracin: Tenemos que n3 + 5 es impar. Supongamos que n es impar.
Como n es impar, n = 2k + 1 para algn entero k . Entonces, n3 + 5 = (2k +
1)3 + 5 = (8k 3 + 12k 2 + 6k + 1) + 5 = 2(4k 3 + 6k 2 + 3k + 3). Al denotar como
l = (4k 3 + 6k 2 + 3k + 3), tenemos que n3 + 5 = 2 l donde l es entero. El hecho
anterior signica que n3 + 5 es par, que contradice que n3 + 5 es impar.
Por tanto, la suposicin de que n es impar es equivocada. Queda demostrado que
si n3 + 5 es impar, n es par.
17. Demuestre que si n es entero y 3n + 2 es par, entonces n es par.
10

(a) por demostracin indirecta

Demostracin: Supongamos que n es impar, entonces n = 2k + 1, k entero.
3n + 2 = 6k + 5 = (6k + 4) + 1 = 2(3k + 2) + 1, lo cual signica que 3n + 2 es
impar.
Hemos demostrado que si n es impar, entonces 3n + 2 es impar. Por lo tanto, si
n es entero y 3n + 2 es par, entonces n es par.
(b) por contradiccin
Demostracin: Tenemos que 3n + 2 es par, y supongamos que n es impar. Entonces, n = 2k+1, k entero. Sigue que 3n+2 = 6k+5 = (6k+4)+1 = 2(3k+2)+1,
lo cual signica que 3n + 2 es impar.
Hemos llegado a una contradiccn con la premisa 3n + 2 es par, por tanto nuestra
suposicin no es vlida. Por lo tanto, si n es entero y 3n + 2 es par, entonces n
es par.
18. Demuestre por contradiccin que la expresin x(P (x) Q(x)) xP (x) xQ(x)
es vlida. No puede usar la equivalencia correspondiente para inferir la condicional.
Demostracin: Para que la expresin condicional no sea vlida, el antecedente debe
ser verdadero y el consecuente falso al mismo tiempo. Por lo tanto, x(P (x) Q(x))
y (xP (x) xQ(x)) deben ser verdaderos.
El consecuente negado se reescribe de la siguiente forma: xP (x) xQ(x). Llamaremos x1 aquel individuo x, para el cual P (x1 ) = V , y x2 sera aquel que hace
Q(x2 ) = V . Tenemos que P (x1 ) = F y Q(x2 ) = F .
Por otro lado, x(P (x) Q(x)) debe ser cierto tanto para x1 , como para x2 , o sea
P (x1 ) Q(x1 ) = V , lo cual implica que P (x1 ) = V y Q(x1 ) = V .
Del consecuente, se obtuvo que P (x1 ) = F . Del antecedente, se obtuvo que P (x1 ) = V .
Llegando a esta contradiccin, se rechaza la hiptesis de que la expresin no es vlida.

11