Universidad Nacional de Rosario

Facultad de Ciencias Exactas, Ingenierı́a y Agrimensura

Técnicatura Universitaria en Inteligencia Artificial
Lógica

Prátcica 1: Lógica Proposicional

1. Determinar cuáles de las siguientes afirmaciones son proposiciones.

a) El pizarrón es verde. f ) ¿Qué hora es?

b) 4 es múltiplo de 8. g) ¡Cuánto falta!
c) 4x + y. h) A tiene al menos un elemento y B ⊆ A.
d ) Si x > 0 entonces y < 4. i ) Desde la tarde hasta la noche.
e) A es un conjunto vacı́o. j ) x ∈ A o x > 5.

2. Identificar las proposiciones primitivas en el ejercicio anterior.

Para buscar primitivas veo si tiene algún operador lógico, y - o - entonces - si
3. Construir tablas de verdad para cada una de las siguientes expresiones, donde p, q y r son variables
proposicionales:

a) ¬(p ∨ ¬q) → ¬p, d ) (p ∧ q) → p,

b) (p → q) → r,
c) p → (q → r), e) (p ∧ q) ∨ (¬p ∧ ¬q).

4. ¿Cuáles de las proposiciones anteriores son tautologı́as? ¿Cuáles son contradicciones?

5. Dadas dos proposiciones primitivas p, q, se define la disyunción exclusiva de p y q como la proposición

p ⊻ q cuyos valores de verdad están dados por la tabla

p q p⊻q
1 1 0
1 0 1
0 1 1
0 0 0

a) Construir la tabla de verdad de la proposición de ¬(p ↔ q). ¿Qué relación existe entre esta proposición
y p ⊻ q?
b) Construir la tabla de verdad de la proposición q ↔ (¬p ⊻ ¬q).

6. Escribir la recı́proca, la inversa y la contrarrecı́proca de cada una de las siguientes implicaciones:

a) Si x > y entonces 2y > 2x.

b) Si Juan va a la playa, el departamento se llenará de arena.

7. Verificar la validez de las siguientes implicaciones lógicas, mediante tabla de verdad. En cada caso, deter-
mine las filas de la tabla que son cruciales para evaluar la validez del argumento y las que pueden dejarse
de lado.

a) p ∧ q ⇒ p,
b) p ⇒ p ∨ q,
c) (p ∨ q) ∧ ¬p ⇒ q,
d ) (p → r) ∧ (q → r) ⇒ (p ∨ q) → r.

8. Expresar en la lógica proposicional el siguiente razonamiento:

Hay almendras y hay conversación. Hay bocadillos y la cena es a las ocho. Si la cena es a las ocho y hay
almendras, entonces es la vigilia de Navidad. Por tanto es la vigilia de Navidad y hay conversación.

9. Determinar si el razonamiento dado en el ejercicio anterior es cierto, usando tablas de verdad.

10. Decidir si los siguientes razonamientos son válidos o no, justificando adecuadamente.

a) Si estudio mucho, entonces apruebo. Por lo tanto, si apruebo, es porque estudié mucho.
b) Si estudio mucho, entonces apruebo. Por lo tanto, si no estudio, no apruebo.
c) Si no lo digo, no me critican. Por lo tanto, si lo digo, me criticarán.
d ) Si lo digo, me critican. Por lo tanto, si no lo digo, no me critican.
e) Si lo digo, me critican. Me criticaron. Por lo tanto, lo dije.
f ) Si llueve, el piso está mojado. El piso no está mojado. Por lo tanto, no está lloviendo.
g) Si llueve, el piso está mojado. El piso está mojado. Por lo tanto, está lloviendo.
h) Si llueve, el piso está mojado. Por lo tanto, no es posible que llueva y el piso esté seco.

11. Escribir cada uno de los siguientes argumentos en forma simbólica.

a) “Rita está horneando un pastel. Si Rita está horneando un paste, entonces no está tocando la flauta.
Si Rita no está tocando la flauta, entonces su padre no pagará el seguro de su automóvil. por lo
tanto, el padre de Rita no pagará el seguro de su automóvil.”
b) “Si la banda no pudiera tocar rock o las bebidas no llegasen a tiempo, entonces la fiesta de Año
Nuevo tendrı́a que cancelarse y Alicia se enojarı́a. Si la fiesta se cancelara, habrı́a que devolver el
dinero. No se devolvió el dinero. por lo tanto, la banda pudo tocar rock.”

12. Verifique con un contraejemplo que las siguientes no son implicaciones lógicas:

a) ((p ∧ ¬q) ∧ (p → (q → r))) ⇏ ¬r,

b) (((p ∧ q) → r) ∧ (¬q ∨ r)) ⇏ p,
c) (p ↔ q) ∧ (q → r) ∧ (r ∨ ¬s) ∧ (¬s → q) ⇏ ¬s,
d ) ¬p ∧ (p → r) ∧ (p → (q ∨ ¬r)) ∧ (¬q ∨ ¬s) ⇏ ¬s.

13. Dar las razones para los pasos que verifican la validez de los siguientes razonamientos:
Razones
1) p→q
p→q
2) ¬q
¬r ∨ s
3) ¬p
p∨r
4) p∨r
¬q
5) r
∴s
6) ¬r ∨ s
7) s

Razones
1) (¬p ∨ q) → r
2) r → (s ∨ t)
3) ¬s ∧ ¬u
4) ¬u → ¬t
(¬p ∨ q) → r 5) ¬u
r → (s ∨ t) 6) ¬t
¬s ∧ ¬u 7) ¬s
¬u → ¬t 8) ¬s ∧ ¬t
∴p 9) ¬(s ∨ t)
10) ¬r
11) ¬(¬p ∨ q)
12) ¬¬p ∧ ¬q
13) ¬¬p
14) p
14. Probar por deducción natural los siguientes razonamientos:

¬(p ∨ q) → r d ∧ ¬f (p ∧ q) → (r ∨ s)
(p ∧ ¬s) → t (r ∧ s) → t
r→s a∨f p∨t
s→q ¬t ∧ s
(¬p ∨ t) → u e → ¬c s→t
¬q ∧ p (¬r ∨ p) → u
¬p ∧ ¬q (a ∨ b) → (c ∧ d) ¬t ∧ q
∴t∧p ∴u
∴s∧u ∴ ¬(e ∧ d) ∴r
15. Sean p, q, r proposiciones primitivas.

a) Use las tablas de verdad para verificar las siguientes equivalencias lógicas.
1) p → (q ∧ r) ⇔ (p → q) ∧ (p → r),
2) ((p ∨ q) → r) ⇔ ((p → r) ∧ (q → r)),
3) (p → (q ∨ r)) ⇔ (¬r → (p → q)).
b) Use las leyes de la lógica para ver que (p → (q ∨ r)) ⇔ ((p ∧ ¬q) → r).

16. Para las proposiciones primitivas p, q, se pide:

a) Verificar que p → (q → (p ∧ q)) es una tautologı́a.

b) Verificar que (p ∨ q) → (q → q) es una tautologı́a, usando el resultado de la parte 16a, y las leyes de
la lógica.
c) ¿Es (p ∨ q) → (q → (p ∧ q)) una tautologı́a?

17. Verifique la Ley de Absorción p ∨ (p ∧ q) ⇔ p mediante una tabla de verdad.

18. Sean p, q, r, s y t proposiciones primitivas. Use las leyes de la lógica para verificar que cada una de las
siguientes proposiciones es una tautologı́a.

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

b) ((p ∨ q) → r) ↔ (¬r → ¬(p ∨ q)),
c) (((p ∨ q) → r) ∨ (s ∧ t)) ↔ ((((p ∨ q) → r) ∨ s) ∧ (((p ∨ q) → r) ∨ t)).

19. Para las proposiciones primitivas p, q, r y s, simplifique la proposición compuesta:

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

20. Dé las razones para cada paso de las siguientes simplificaciones de proposiciones compuestas.

Razones
((p ∨ q) ∧ (p ∨ ¬q)) ∨ q
a) ⇔ (p ∨ (q ∧ ¬q)) ∨ q
⇔ (p ∨ F0 ) ∨ q
⇔p∨q
Razones
¬(p ∨ q) ∨ ((¬p ∧ q) ∨ ¬q)
⇔ ¬(p ∨ q) ∨ (¬q ∨ (¬p ∧ q))
⇔ ¬(p ∨ q) ∨ ((¬q ∨ ¬p) ∧ (¬q ∨ q))
⇔ ¬(p ∨ q) ∨ ((¬q ∨ ¬p) ∧ T0 )
b) ⇔ ¬(p ∨ q) ∨ (¬q ∨ ¬p)
⇔ ¬(p ∨ q) ∨ ¬(q ∧ p)
⇔ ¬[(p ∨ q) ∧ (q ∧ p)]
⇔ ¬[(q ∧ p) ∧ (p ∨ q)]
⇔ ¬[q ∧ (p ∧ (p ∨ q))]
⇔ ¬(q ∧ p)
Razones
(p → q) ∧ (¬q ∧ (r ∨ ¬q))
⇔ (p → q) ∧ ¬q
⇔ (¬p ∨ q) ∧ ¬q
c) ⇔ ¬q ∧ (¬p ∨ q)
⇔ (¬q ∧ ¬p) ∨ (¬q ∧ q)
⇔ (¬q ∧ ¬p) ∨ F0
⇔ (¬q ∧ ¬p)
⇔ ¬(q ∨ p)

21. Como en el ejercicio 20, escriba los pasos y las razones para establecer las siguientes equivalencias lógicas.

a) p ∨ (p ∧ (p ∨ q)) ⇔ p
b) p ∨ q ∨ (¬p ∧ ¬q ∧ r) ⇔ p ∨ q ∨ r
c) ((¬p ∨ ¬q) → (p ∧ q ∧ r)) ⇔ p ∧ q
d ) p ∧ ((¬q → (r ∧ r)) ∨ ¬(q ∨ ((r ∧ s) ∨ (r ∧ ¬s)))) ⇔ p
22. Dadas las proposiciones compuestas
P: p ∧ (q ∨ r),
Q: p → (t ∧ r),
R: (p ∨ q) ↔ r.

se pide:
a) De ser necesario, escribir proposiciones lógicamente equivalentes que solo contengan los operadores
lógicos ¬, ∧ y ∨.
b) Escribir la proposición dual a partir de lo obtenido en el ı́tem anterior.