Licenciatura en Inteligencia Artificial

Curso Propedéutico
Pensamiento Lógico
Tarea 3
Departamento de Computación
CInC UAEM

Fecha lı́mite de entrega (en la plataforma): jueves 14 de julio 9:00am

Puntuación máxima: 26 pts.

Criterios para la calificación. En cada ejercicio se tomará en cuenta lo
siguiente:
1. Se otorgará 1 punto por cada respuesta correcta, siempre y cuando la
justificación, desarrollo, tabla de verdad o explicación sea correcta.
2. La calificación que se reporta es sobre 100.

1. [6 pts.] Coloque todos los paréntesis donde deban ir para que las sigu-
ientes proposiciones sean semánticamente claras y de conformidad con
las convenciones de alcance vinculante. Si hay más de una posi-
bilidad escriba todas las que cumplan con las convenciones de
alcance vinculante.
(a) p ∧ ¬q
(b) ¬p ∧ q ∧ ¬r
(c) p ∧ ¬q ∨ r
(d) p → ¬q ∧ r ∨ s
(e) p ∧ q ∨ r → ¬s ∨ t
(f) p → ¬¬q → t ∨ p
2. [5 pts.] Escriba la tabla de verdad de las siguientes proposiciones lógicas.
Aplique la convención de alcance vinculante.
(a) ¬¬p ∨ ¬q

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

3. [5 pts.] Utilizando una tabla de verdad, diga si las siguientes proposiciones

son equivalentes, o no, a:

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

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

4. [5 pts.] Ayudándose de una Tabla de Verdad, diga cuál de las siguientes

proposiciones es equivalente a una tautologı́a y cuál a una contradicción.
(a) q → (p → (p → (q → p)))
(b) ¬(¬p ∨ q) ∧ (q ∨ ¬p)
(c) ¬p ∨ q → (p → q)
(d) (p → q) ∨ (q → r)
(e) (q → p) ∧ ¬p ∧ q
5. [5 pts.] Suponga que x = a2 + 4ab + 4b2 , y = a − b, y z = a + b. Diga el
valor de verdad de las siguientes proposiciones:

(a) x = z 2
(b) yz = x
(c) x = 2zy
(d) x = (z + 2b)2
(e) z ̸= x/y