GUÍA PRÁCTICA N◦ 1

1. En cada caso, usa variables proposicionales para denotar las proposiciones atómicas y
escribe simbólicamente la proposición molecular dada.

(a) Paula está comiendo, bebiendo y divirtiéndose.

(b) Julián no aceptará el cargo.
(c) No irás al cine hoy en la noche y no irás mañana.
(d) Trabajo mucho, pero no recibo un buen sueldo.
(e) Mañana estaré en Caracas o estaré en Valencia.
(f) Miguel venderá su apartamento y comprará una casa siempre que gane el premio
mayor del KINO.
(g) La decisión dependerá del juicio o de la intuición, no de quién pagó más.
√
(h) Si −3 es un número natural, entonces 7 es irracional o π es racional.
(i) 2 + 5 = 8 es condición necesaria para que 8 > 5.
(j) Cuando un número entero es par, es múltiplo de 4.
(k) Si tu carro no tiene aire acondicionado, entonces no sentirás frı́o.
(l) Ni 27 ni 30 son múltiplos de 4.
(m) No es cierto que Carlos estudia Informática y que Mariana estudia Matemática.
(n) Es suficiente que suban los precios para que los sueldos aumenten.
(ñ) La presencia del oxı́geno en el ambiente es suficiente para que se produzca la com-
bustión.
(o) Siempre que tengo hambre y no tengo tiempo para comer, no me siento bien y no
puedo estudiar.
(p) Si quebrantas la ley, entonces irás a la cárcel.
(q) El sol brilla solo si estás feliz.
(r) Iré el sábado al automercado, si me pagan el viernes.
(s) Si te cepillas los dientes con una crema dental, tendrás menos caries.
(t) Tus nietos no sobrevivirán en este planeta si no detenemos la contaminación del
ambiente.
(u) Podrás haces este ejercicio solamente si entiendes el material anterior y lo has estu-
diado.
(v) Una condición suficiente para que 1 + 2 = 3 es que 4 + 4 = 4.
(w) Para que un polı́gono sea un cuadrado, es necesario que sea un rectángulo.
(x) 7 es par a menos que 8 no sea impar.
2. Sean p : “Está nublado” y q : “Está lloviendo”. Simboliza las siguientes proposiciones:

(a) Está nublado o está lloviendo

(b) Está nublado y no está lloviendo
(c) No es cierto que está lloviendo o está nublado
(d) No está lloviendo a menos que esté nublado
(e) No está nublado o no está lloviendo
(f) Ni está lloviendo ni está nublado
(g) Está nublado solamente si está lloviendo
(h) No está nublado, pero está lloviendo
(i) Que esté lloviendo es necesario para que esté nublado

3. Sean las proposiciones:

p: Los intereses suben

q: El dinero escasea
r: La inflación baja

Escribe, en sı́mbolos, cada una de las siguientes proposiciones:

(a) Si el dinero escasea, entonces los interes suben y la inflación baja.

(b) Los intereses no suben o el dinero no escasea.
(c) No es cierto que si la inflación no baja, entonces el dinero escasea.
(d) Al menos los interesen suben o la inflación no baja.
(e) No es verdad que: el dinero no escasea si y solo si los intereses suben y la inflación no
baja.

4. Dadas las proposiciones:

p: Mónica estudia en la UCAB

q: Mónica trabaja
r: Mónica tiene una beca

Escribe, en sı́mbolos, cada una de las siguientes proposiciones:

(a) Una condición necesaria para que Mónica estudie en la UCAB es que no trabaje y
tenga una beca.
(b) Mónica estudia en la UCAB o trabaja, pero no tiene una beca.

5. Sean p y q proposiciones para las que el condicional p → q es falso. Indica el valor de

verdad de las siguientes proposiciones:

(a) ¬p ∧ ¬q (b) ¬(p ∧ q) (c) ¬p ∨ ¬q

(d) p ∧ (p ∨ q) (e) (p ∧ ¬q) ∧ p (f) (¬p ∧ q) ∨ ¬q

2
 6. Construye un arbol semántico para cada una de las siguientes proposiciones compuestas
(donde p, q y r denotan proposiciones simples):
(a) ¬(p ∨ ¬q) → ¬p (b) p → (q → r) (c) (p → q) → (q → p)
(d) ¬(p ∨ q) ↔ ¬p ∧ ¬q (e) p ∧ q → p (f) q ↔ ¬p ∨ ¬q
(g) (p → q) ∧ (q → r) → (p → r) (h) (p → q) → r (i) p ∧ q → r
(j) p ∨ q ↔ (p ∨ q) ∧ ¬(p ∧ q) (k) p ∧ (p → q) → q (l) ¬[(p ∨ q) ∧ ¬p → q]
7. ¿Cuáles de las proposiciones anteriores son tautologı́as? ¿Cuáles son contradicciones?
¿Cuáles son contingencias?

8. Simplifica las siguientes proposiciones:

(a) ¬(¬p ∨ ¬q) (b) ¬(p ∨ q) ∨ (¬p ∧ q)

9. Si se sabe que p y q son proposiciones tales que p ∨ q es verdadera y ¬q es verdadera,

determina el valor de verdad de

(p ∨ q) ∧ ¬q → q

10. Los valores de verdad de las proposiciones p, q, r y s son, respectivamente, V, F, F y V.

Determina los valores de verdad de

(a) [(p ∨ q) ∨ r] ∧ s (b) r → s ∧ p (c) p ∨ r ↔ r ∧ ¬s

11. Determina, en cada caso, si la información indicada a la derecha del punto y coma es
suficiente para conocer el valor de verdad de las proposiciones que se encuentran a la
izquierda del punto y coma.

(a) (p → q) → r ; r es V.
(b) p ∨ q ↔ ¬p ∧ ¬q ; q es V.
(c) p ∧ q → p ∧ r ; p es V y r es F.
(d) p ∧ (q → r) ; r es V.
(e) p → [q ∨ r → (¬p → r)] ; p y q son V.
(f) ¬(p ∨ q → q ∧ r) ; p es V y q es F.
(g) p ∧ q → r ↔ p → (q → r) ; q es F y r es V.
(h) p ∧ (p ∨ r) → (r → ¬p) ; p → q es F.
(i) (¬q ∨ p) ∨ r ; q → r es V.
(j) p ; p ∨ ¬q → ¬p es V.
(k) p ; p → q y r ∧ ¬q son V.
(l) p ; (p ∨ q) ∧ [¬t ∧ (q → t)] es V.

12. Utilizando las leyes lógicas demuestra las siguientes equivalencias lógicas

(a) p ∧ q → r ≡ p → (q → r)
(b) p → q ∧ r ≡ (p → q) ∧ (p → r)
(c) p ∨ q → r ≡ (p → r) ∧ (q → r)

3
 (d) p → q ∨ r ≡ ¬r → (p → q)
(e) p → q ∨ r ≡ p ∧ ¬q → r
(f) [(p ∨ q) ∧ (p ∨ ¬q)] ∨ q ≡ p ∨ q
(g) ¬(p ∨ q) ∨ [(¬p ∧ q) ∨ ¬q] ≡ ¬(p ∧ q)
(h) (p → q) ∧ [¬q ∧ (r ∨ ¬q)] ≡ ¬(p ∨ q)
(i) ¬[¬[(p ∨ q) ∧ r] ∨ ¬q] ≡ q ∧ r

13. Construye un arbol semántico para cada una de las siguientes proposiciones, indicando si
la fórmula es una tautologı́a, una contradicción o una contingencia:

(a) (¬p ↔ q) ∧ (q → ¬r) ∧ r → p ∧ ¬q

(b) (r → p ∧ ¬q) ∧ (¬s → ¬t ∨ u) ∧ ¬(s ∧ ¬r) ∧ (t → s ∧ ¬u) → (¬t → s ∨ ¬r)
(c) (¬(a → b) ∨ ¬(b → c) → ¬(c → d) ∧ ¬(d → e)) → (a → c)
(d) (p ∨ ¬q → r ∨ m) ∧ (r → t ∨ s) ∧ (n → s) ∧ m ∧ (¬r → n) → (¬p → (¬(q ∨ r) → t ∨ s))
(e) ¬(p ∧ q) → (q ∨ r) ↔ ¬p → (r ∧ s → p)
(f) ¬(a → b) ∨ (b → ¬c) → (a ∧ b → c) ∨ (c ↔ d)
(g) (¬a ∧ e → ¬p ∨ ¬q) ∧ (¬e ∨ d → ¬b ∧ p) ∧ (¬b ∨ ¬p → ¬c ∨ q) → (c ∨ d → ¬b ∨ a)

14. Sean p, q, r variables proposicionales. Indica cuáles de las siguientes fórmulas correspon-
den a tautologı́as, contradicciones o contingencias. En caso de que sea una contingencia,
encuentra una FNC y FND para la fórmula. Utiliza árboles semánticos y/o tablas de
verdad para justificar tus respuestas.

(a) (p ∨ (q ∨ r)) ∧ ¬((p ∨ q) ∨ r))

(b) r ∨ q → ((r → q) → q)
(c) (r ∨ ((q → r) ∧ (q → r))) ∧ (r ∨ q)
(d) q ∨ r → (¬r → q)
(e) (p ∨ q) ∧ (¬p ∨ r) ∧ (¬q ∨ r) ∧ ¬r
(f) (p ∧ ¬q) ∨ (q ∧ ¬r) ∨ (r ∧ ¬p)
(g) ((p → q) → r) → (p ∧ ¬q) ∨ r

15. Verifica cuáles de los siguientes razonamientos son válidos o no, utilizando árboles de
Gentzen. En caso de que un razonamiento sea válido, realiza la derivación correspondiente
justificando cada paso. En caso de no serlo, determina los valores de p, q, r y s, que hacen
al razonamiento inválido.

(a) (¬p ↔ q) ∧ (q → ¬r) ∧ (r ∧ ¬s) → p ∧ (¬q ∨ s)

(b) (p ∧ q ↔ r ∨ ¬s) → (¬q → p)

16. Demuestra, utilizando un árbol de Gentzen, la validez del siguiente razonamiento:

(¬r → p ∨ q) ∧ (¬p → ¬q) ∧ (¬(¬p ∨ r) → s) → s ∨ r

4
17. Para los siguientes razonamientos, verifica cuáles de ellos son válidos con la ayuda de
un árbol de Gentzen. En caso de que un razonamiento sea válido, realiza la derivación
correspondiente justificando cada paso. En caso de no serlo, determina los valores de las
variables que hacen inválido al razonamiento y da su expresión mı́nima equivalente en
FNC y FND.

(a) (r → ¬(p ∨ r)) ∧ ¬r → (s ∨ p → ¬s)

(b) (a ∧ b → c) ∧ (¬a → d) → (b → c ∨ d)
(c) (p → (¬r → q)) ∧ (¬p ∨ s) ∧ (p ∧ r ↔ ¬q) → (s → ¬q)
(d) (p ∧ q → r) ∧ ((p → r) → s) ∧ (¬q ∨ t) → (q → s ∧ t)
(e) ((¬p ∨ r) ∧ ¬p) ∨ ¬((¬s → ¬r) → s)
(f) (¬p ∨ s) ∨ ¬(p → s) ∨ (q ∧ ¬s)

18. Deriva los siguientes razonamientos justificando cada paso en forma precisa.

5
19. Modela cada uno de los siguientes argumentos, haciendo uso de un lenguaje de primer
orden o lógica proposicional. Luego, determina la validez del razonamiento usando el
método de tu preferencia.

(a) Javier se casa solamente si tiene que trabajar, pero no podrá trabajar a menos que no
estudie. Es suficiente que Javier no se case para que pierda mucho tiempo visitando
a su novia y si pierde tiempo, no podrá estudiar. Si Javier no estudia, sus padres se
sentirán infelices. Por tanto, los padres de Javier se sentirán infelices.
(b) Cuando se devalúa el bolı́var, la inflación se acelera. Las divisas no bajarán siempre
que el bolı́var se mantenga estable. El bolı́var se devalúa o se mantiene estable. Que
las divisas bajen es condición necesaria para que el bolı́var se devalúe. El bolı́var se
mantiene estable solo si la inflación no se acelera. Por tanto, la inflación se acelera si
y solo si las divisas bajan.
(c) Es necesario no aprobar Cálculo para estudiar Lógica. Si no estudio Lógica, no me
castigan y no voy a la fiesta. Me castigan y salgo a pasear. Por tanto, salir a pasear
es condición suficiente y necesaria para no aprobar Cálculo.
(d) Si estudio para ser ingeniero en Informática, ganaré mucho dinero. Conoceré mucha
gente si estudio periodismo. Seré feliz siempre que gane mucho dinero o conozca
mucha gente. Por tanto, soy feliz a menos que ni haya estudiado para ser ingeniero
en Informática ni para ser periodista.

20. Cuatro sospechosos de un crimen, que cometió solo uno de ellos, hicieron las siguientes
declaraciones a la policı́a:

◦ Alberto: Boris lo hizo.

◦ Boris: David lo hizo.
◦ Carlos: Yo no fui.
◦ David: Boris mintió cuando dijo que yo fui.

(a) Si solamente una de esas afirmaciones es verdadera, ¿quién es el culpable?

(b) Si solamente una de esas afirmaciones es falsa, ¿quién es el culpable?
(c) Si David cambia su declaración y afirma que Boris no es el asesino a menos que Carlos
lo sea o no lo sea Alberto. Si es posible que hayan dos criminales y asumiendo que
todos dicen la verdad, ¿se puede deducir quien o quienes son los culpables?

6
21. En el concurso de televisión ¿Quién quiere ser millonario? quedaban 3 concursantes (Pe-
dro, Ricardo y Daniel). Según las reglas del concurso pueden eliminarse uno o dos concur-
santes a la vez. Los espectadores han expresado diversas opiniones sobre quien(es) serı́an
el/los siguientes en ser eliminados. Las declaraciones fueron las siguientes:

◦ No será eliminado Daniel.

◦ Si eliminan a Pedro además de Ricardo entonces no eliminarán a Daniel.
◦ No eliminarán a Ricardo a menos que eliminen a Pedro y a Daniel.
◦ Si eliminan a Ricardo o a Daniel entonces eliminarán a Pedro.

Considerando que tres de las declaraciones de los espectadores fueron falsas, ¿Quién(es)
será(n) eliminado(s)?

22. Mis abuelos, Andrés y José, discuten acerca de la barberı́a del pueblo, atendida por tres
barberos: Alberto, Benito y Carlos. Los abuelos aceptan las siguientes premisas:

◦ Si Carlos no está en la barberı́a, entonces ocurrirá que si tampoco está Alberto,

Benito tendrá que estar para atender el establecimiento.
◦ Si Alberto no está, tampoco estará Benito.

El abuelo Andrés concluye de todo esto que Carlos no puede estar ausente, mientras
que el abuelo José afirma que solo puede concluirse que Carlos y Alberto no pueden estar
ausentes a la vez. Decide usando lógica proposicional, cuál de mis dos abuelos tiene razón.

23. Bernardo tiene un dilema sentimental con tres muchachas que le gustan. Este dilema se
puede resumir de la siguiente manera:
No quiere a Carolina si quiere a Rosa. También sabe que no quiere a Ana a menos que
quiera a Rosa y no quiera a Carolina. Además, quiere a Ana o no quiere a Carolina,
solo si no quiere a Rosa. Por otro lado, si quiere a Carolina pero no a Rosa, entonces no
quiere a Ana.
Si se sabe que Bernardo quiere solo a una de las tres muchachas, ayúdale a descifrar cuál
de ellas es la que quiere para que pueda pedirle que sea su novia. Explı́cale a Bernardo
usando algún método de lógica proposicional.

24. Una prueba especial de Cálculo Numérico fue presentada por tres estudiantes: David,
Roberto y Sergio. La corrección de esta prueba estaba a cargo de tres profesores, los
cuales hicieron las siguientes declaraciones antes de anunciar el resultado final:

• Profesor 1: Sergio aprueba el examen, pero Roberto no.

• Profesor 2: No es cierto que David o Sergio aprobarán el examen.
• Profesor 3: Es necesario que Sergio apruebe el examen para que Roberto también lo
apruebe.

Si solo una de las tres declaraciones anteriores es falsa y solo uno de los tres estudiantes
aprobó el examen, ¿cuál de los tres estudiantes lo aprobó? Deduce esto usando algún
método de lógica proposicional.

7
25. Luego de muchos años, cinco amigas (Andrea, Carla, Ignacia, Julia y Rosa) se encuentran
para conversar en un centro comercial. En cierto momento, Rosa comenta que está al tanto
de que dos de sus cuatro amigas estaban estudiando en la UCAB y querı́a saber cuales
eran. Cada una de ellas realiza las siguientes afirmaciones:
• Andrea: Ignacia no estudia en la UCAB a menos que Julia si.
• Carla: Julia no estudia en la UCAB solo si Andrea estudia allı́.
• Ignacia: Carla estudia en la UCAB, pero Andrea no.
• Julia: No es cierto que Carla e Ignacia estudian en la UCAB.
Si exactamente dos de las cuatro amigas mienten, ¿cuáles de ellas dicen la verdad y
quiénes estudian en la UCAB?

26. Karina estudia Ingenierı́a Informática en la UCAB. El semestre pasado inscribió tres
asignaturas: Introducción a la Informática, Matemática Básica y Geometrı́a Plana y Tri-
gonometrı́a. Antes de finalizar el semestre, tres de sus amigos afirmaron que:
• No aprobarás Introducción a la Informática a menos que apruebes Geometrı́a Plana
y Trigonometrı́a.
• Aprobarás Matemática Básica o no aprobarás Introducción a la Informática.
• Si apruebas Geometrı́a Plana y Trigonometrı́a, entonces no aprobarás Matemática
Básica.
Si al final del semestre solo uno de estos tres amigos tuvo la razón y se sabe que Karina
aprobó una o dos asignaturas, ¿cuál(es) asignatura(s) aprobó Karina finalmente?

27. Cuatro estudiantes (Andrés, Carmela, Miguel y Sonia) calcularon el área de un triángulo.
Cada uno obtiene, respectivamente, las siguientes “medidas”: 10 cm2 , 12 cm2 , 8 cm2 y
9 cm2 . Todos consultan a tres profesores de Matemática y cada uno de ellos afirmó lo
siguiente:
• Prof. López: Si el área del triángulo es 10 o 12 cm2 entonces no es 9 cm2 .
• Prof. Suárez: El área del triángulo es 8 cm2 a menos que sea 9 cm2
• Prof. Gómez: El área del triángulo es 8 o 10 cm2 .
Si solo uno de los tres profesores tuvo la razón y uno de los estudiantes acertó en su
cálculo, ¿cuál profesor tuvo razón?, ¿cuál fue el estudiante que acertó?, ¿cuál es el área
del triángulo?

28. Cuatro estudiantes (Brian, Génesis, Melvin y Natalia) comentaban sobre sus edades. Cada
uno de ellos dice tener, respectivamente, 20 años, 19 años, 19 años y 20 años. Tres de sus
compañeros de clases afirmaron lo siguiente:
• Pacheco: Es necesario que Génesis tenga 19 años para que Brian o Natalia tengan
20 años.
• Bosch: Génesis y Melvin tienen 19 años a menos que Natalia no tenga 20 años.
• Salazar: Ni Natalia ni Brian tienen 20 años.
Si solo dos de los tres compañeros de clases tienen la razón y solo dos de los cuatro
estudiantes iniciales dijeron su verdadera edad, ¿cuáles compañeros de clases tuvieron la
razón?, ¿cuáles fueron los estudiantes que dijeron su verdadera edad?

8
29. Tres estudiantes (Fátima, Kevin y Omar) estaban trabajando en la obtención de un árbol
semántico de una proposición compuesta. Según Fátima, esa proposición era tautológica;
para Kevin era satisfactoria y para Omar era contradictoria. Cuatro profesores de Lógica
Computacional de la UCAB revisaron sus resultados y cada uno afirmó lo siguiente:

• Gloria: Fátima no acertó en su resultado a menos que Kevin haya acertado.

• Henry: Si Omar o Kevin acertaron en su resultado, entonces Fátima también acertó.
• Oswel: Ni Fátima, ni Omar acertaron en su resultado.
• Silvina: Kevin no acertó en su resultado siempre y cuando Omar haya acertado.

Si solo uno de los tres estudiantes acertó en su resultado y solo uno de los cuatro profesores
no tuvo la razón en su afirmación, ¿cuál estudiante acertó en su resultado?, ¿cuál fue el
profesor que no tuvo la razón?, ¿la proposición que estudiaron los tres estudiantes es
tautológica, contradictoria o satisfactoria?