Escuela de Ciencias Aplicadas e Ingenierı́a

CM0260-2968 Lógica - Parcial 4

Profesor Sergio Ramı́rez Rico
16 de mayo de 2024

Nombre completo Código estudiante o documento de identidad

Este parcial contiene 5 preguntas que corresponden en total a 50 puntos y 5 puntos de bono. El valor de cada pregunta se
encuentra en un cuadro en el margen izquierdo de cada hoja. El parcial debe resolverse y entregarse individualmente. No
está permitido hablar o pedir cosas prestadas de sus compañeros, tampoco el uso de libros, apuntes o aparatos electrónicos.
El tiempo disponible para resolver el parcial es 1 hora y 20 minutos y no se reciben hojas adicionales a las del enunciado.

Pregunta 1 2 3 4 5 Total
Puntos 15 10 15 10 0 50
Bono 0 0 0 0 5 5
Puntaje
Tabla de calificación para uso exclusivo del profesor.

Reglas de inferencia
p→q p (p → q) ∧ (r → s) ¬q ∨ ¬s
Modus Ponens (MP) Dilema destructivo (DD)
q ¬p ∨ ¬r
p→q ¬q p∧q
Modus Tollens (MT) Simplificación (S)
¬p p
p→q q→r p q
Silogismo hipotético (SH) Conjunción (C)
p→r p∧q
p∨q ¬p p
Silogismo disyuntivo (SD) Adición (A)
q p∨q
(p → q) ∧ (r → s) p∨r
Dilema constructivo (DC)
q∨s
Reglas de reemplazo
¬(p ∨ q) :: (¬p ∧ ¬q)
Leyes de De Morgan (DM) ¬(p ∧ q) :: (¬p ∨ ¬q)
Transposición (Trans.) (p → q) :: (¬q → ¬p)

(p ∧ q) :: (q ∧ p)
Conmutatividad (Conm.) (p ∨ q) :: (q ∨ p)
Implicación material (IM) (p → q) :: (¬p ∨ q)

(p ∧ (q ∧ r)) :: ((p ∧ q) ∧ r) (p ≡ q) :: ((p ∧ q) ∨ (¬p ∧ ¬q))

Asociatividad (Asoc.) (p ∨ (q ∨ r)) :: ((p ∨ q) ∨ r)
Equivalencia material (EM) (p ≡ q) :: ((p → q) ∧ (q → p))
(p ∧ (q ∨ r)) :: ((p ∧ q) ∨ (p ∧ r))
Distributividad (Dist.) (p ∨ (q ∧ r)) :: ((p ∨ q) ∧ (p ∨ r))
Exportación (Exp.) ((p ∧ q) → r) :: (p → (q → r))

Doble Negación (DN) p :: ¬¬p Tautologı́a (Taut.) p :: (p ∨ p) p :: (p ∧ p)

Reglas con cuantificadores

∀xF (x) :: ¬∃x¬F (x)
∀xF (x) ∀xF (x) ∀x¬F (x) :: ¬∃xF (x)
Instanciación universal (UI) Cambio de cuantificador (QN)
F (a) F (z) ¬∀xF (x) :: ∃x¬F (x)
¬∀x¬F (x) :: ∃xF (x)
∃xF (x)
Instanciación existencial (EI)1 Identidad (Id1)
F (a) x=x
F (z)
Generalización universal (UG)2 Identidad (Id2) (x = y) :: (y = x)
∀xF (x)
F (a) F (z) Fx x=y
Generalización existencial (EG) Identidad (Id3)
∃xF (x) ∃xF (x) Fy

1a es un individuo fijo y no aparece en ninguna lı́nea previa de la demostración (ni la conclusión).

2zvariable. NO se debe usar UG dentro del alcance de un supuesto si la variable z está libre en la lı́nea donde se introdujo el supuesto. NO se debe usar
UG si la variable z está libre en cualquier lı́nea precedente obtenida por EI.
 CM0260-2968 Lógica Pág. 2 de 4 16 de mayo de 2024

15 1. Representar simbólicamente el siguiente argumento. Defina clara y completamente los sı́mbolos de predicado y de indi-
viduo que utiliza.
La casa embrujada.
En la casa hay al menos dos personas. Hay exactamente un perro en la casa. Juan y Sofı́a están en la casa, pero ninguno
de ellos tiene perro. Por lo tanto, en la casa hay alguien que no es ni Sofı́a ni Juan.

.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................

1. (∀x)[Fx → (Gx ∧ x = n)]

10 2. Escribir una prueba formal de validez para el argumento .
2. Gn → (∃x)(Hx ∧ x = e) ∴ Fm → He

.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
.............................................................................................................
 Nombre: Pág. 3 de 4 16 de mayo de 2024

3. Considere la siguiente afirmación: Para cualesquiera a, b, c ∈ Z, si a·|b y a·|c, entonces a·|(2b − 3c).
4 (a) Simbolizar la afirmación utilizando el lenguaje de la lógica de predicados.

4 (b) Escribir un ejemplo de la afirmación.

7 (c) Escribir una demostración para la afirmación.

 CM0260-2968 Lógica Pág. 4 de 4 16 de mayo de 2024

10 4. Determine si la siguiente afirmación es verdadera o falsa. Si es verdadera escriba una demostración para ella, si no es ası́
presente un contraejemplo.
Afirmación: Para cualquier n ∈ Z, si n es par, entonces (−1)n = 1.

5B 5. Demostrar o refutar: Sea n ∈ Z. Si 5 no divide a n2 , entonces 5 no divide a n.

Fórmulas de referencia.

Leyes de los exponentes: Para cualesquiera a, x, y ∈ R, se tiene que a0 = 1, ay · ax = ax+y , (ax )y = ax·y .