Tarea-examen 1.

Lógica

Instrucciones.

1. Fecha y hora lı́mite de entrega: domingo 17 de septiembre 2023, 23 : 59 hrs. Sacar foto a su hoja
de respuestas (de acuerdo al inciso 2 de estas instrucciones) y convertir a formato PDF. Este archivo
será el que se subirá a classroom.

2. Hoja de respuestas. Descargar el presente archivo y usar las páginas 5, 6, 7 como hoja de respuestas.
El nombre del alumno se escribirá en la parte superior de la hoja. Escribir de manera limpia y
ordenada únicamente la respuesta de lo que se pide en cada ejercicio, de acuerdo a la siguiente lista:

• Del Ejercicio 1, en cada inciso, marcar el SI o el NO, dependiendo si la cadena es F BF o no lo

es.
• Del Ejercicio 2, llenar la tabla.
• Del Ejercicio 3, llenar la tabla.
• Del Ejercicio 4, llenar la tabla y escribir en el recuadro el enunciado que incluya al conectivo ∨.
• Del Ejercicio 5, llenar la tabla y escribir en el recuadro el enunciado que incluya al conectivo ∧.
• Del Ejercicio 6, llenar la tabla.
• Del Ejercicio 7, en cada inciso, indicar con un SI o con un NO, dependiendo si el enunciado es
verdadero o no lo es.
• Del Ejercicio 8, obtener explı́citamente el valor de r = ab .
• Del Ejercicio 9, indicar con un SI o con un NO, dependiendo si la cadena es o no es, tautologı́a.
• Del Ejercicio 10, en cada inciso, indicar con un SI o con un NO, dependiendo si el argumento
es válido o no lo es. Cuando no lo sea, proporcionar un contraejemplo.

3. Cualquier envı́o que no cumpla con estas especificaciones no se aceptará.

4. Cada ejercicio tiene un valor de 10 puntos. Únicamente dará puntos la respuesta correcta.

1
2

Utilizar la etiqueta correspondiente para justificar, cuando ası́ convenga (Ejercicios 2 a 6 y 10).

Axiomas

A1 . α ⇒ (β ⇒ α)

A2 . (α ⇒ (β ⇒ γ)) ⇒ ((α ⇒ β) ⇒ (α ⇒ γ))

A3 . (¬β ⇒ ¬α) ⇒ ((¬β ⇒ α) ⇒ β)

Teoremas

T1 . Identidad:
|− (α ⇒ α)

T2 . |− ((¬α ⇒ α) ⇒ α)

T3 . |− (¬α ⇒ (α ⇒ γ))

T4 . |− (α ⇒ (¬β ⇒ ¬(α ⇒ β)))

T5 . |− ((α ⇒ β) ⇒ ((¬α ⇒ β) ⇒ β))

T6 . {α ⇒ (β ⇒ γ)} |− (β ⇒ (α ⇒ γ))
 3

Reglas de Inferencia
Notación: C0 es una contradicción.

R1 . Demostración por contradicción:

1. ¬α ⇒ C0
... α

R2 . Modus ponens:
1. α⇒β
2. α
... β

R3 . Modus tollens:
1. α⇒β
2. ¬β
... ¬α

R4 . Contrapositiva:
1. α⇒β
... ¬β ⇒ ¬α

R5 . Silogismo disyuntivo:
1. α∨β
2. ¬β
... α

R6 . Transitividad:
1. α⇒β
2. β⇒γ
... α⇒γ

R7 . Análisis:
1. α∧β
... α

R8 . Sı́ntesis:
1. α
2. β
... α∧β

R9 . Amplificación:
1. α
... α∨β
4

Leyes de la Lógica
Notación: T0 es una tautologı́a y C0 es una contradicción.
L1 . Doble negación:
¬(¬α) ≡ α
L2 . Conmutatividad:
α∧β ≡β∧α
α∨β ≡β∨α
L3 . Asociatividad:
α ∧ (β ∧ γ) ≡ (α ∧ β) ∧ γ
α ∨ (β ∨ γ) ≡ (α ∨ β) ∨ γ
L4 . Distributividad:
α ∧ (β ∨ γ) ≡ (α ∧ β) ∨ (α ∧ γ)
α ∨ (β ∧ γ) ≡ (α ∨ β) ∧ (α ∨ γ)
L5 . Leyes de De Morgan:
¬(α ∧ β) ≡ ¬α ∨ ¬β
¬(α ∨ β) ≡ ¬α ∧ ¬β
L6 . Absorción:
α ∧ (α ∨ β) ≡ α
α ∨ (α ∧ β) ≡ α
L7 . Idempotencia:
α∧α≡α
α∨α≡α
L8 . Neutros:
α ∨ C0 ≡ α

α ∧ T0 ≡ α
L9 . Inversos:
α ∨ ¬α ≡ T0
α ∧ ¬α ≡ C0
L10 . Dominación:
α ∨ T0 ≡ T0
α ∧ C0 ≡ C0
 5

∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ EJERCICIOS ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗

Ejercicio 1 Decidir si las cadenas que siguen son F BF :

1. (((P ⇒⇒ (Q ⇒ R)) ⇒ (Q ⇒ R)) ⇒ (P ⇒ S)) SI NO
2. (P ∧ (Q ∨ (¬S))) SI NO
3. (¬(P ∧ Q) ⇔ (¬(P ∨ (¬Q)))) SI NO
4. (((P ⇒ Q) ∧ (¬Q)) ⇒ (¬P )) SI NO
5. ¬(P ∨ Q) ⇔ (¬P ∧ ¬Q) SI NO
6. ((¬P ) ⇒ Q) SI NO
7. (¬(P ⇒ Q)) SI NO
8. ((P ⇒ Q) ⇒) SI NO
9. (((¬P ) ⇒ Q) ⇒ (P ¬Q)) SI NO
10. ((¬P ) ⇒ (¬(Q ∨ R))) SI NO

Ejercicio 2 Escribir las justificaciones adecuadas:

{α ⇒ β, ¬α ⇒ β} |− β
Hechos Justificación
1. α⇒β Hipótesis
2. ¬α ⇒ β Hipótesis
3. (α ⇒ β) ⇒ (¬β ⇒ ¬α)
4. ¬β ⇒ ¬α
5. (¬α ⇒ β) ⇒ (¬β ⇒ ¬¬α)
6. ¬β ⇒ ¬¬α
7. (¬β ⇒ ¬¬α) ⇒ ((¬β ⇒ ¬α) ⇒ β)
8. (¬β ⇒ ¬α) ⇒ β
9. β
Ejercicio 3 Escribir las justificaciones adecuadas:
{¬α ⇒ β} |− (¬β ⇒ α)
Hechos Justificación
1. ¬α ⇒ β Hipótesis adicional
2. (¬α ⇒ β) ⇒ (¬β ⇒ ¬¬α)
3. ¬¬α ⇒ α
4. ¬β ⇒ ¬¬α
5. ¬β ⇒ α
6

Ejercicio 4 Escribir las justificaciones adecuadas:

Hechos Justificaciones
1. ¬(α ⇒ β) ⇒ (α ⇒ γ) Hipótesis
2. α Hipótesis adicional 1
3. ¬β Hipótesis adicional 2
4. α ⇒ (¬β ⇒ ¬(α ⇒ β))
5. ¬β ⇒ ¬(α ⇒ β)
6. ¬(α ⇒ β)
7. α⇒γ
8. γ

Al aplicar dos veces el Teorema de la Deducción (recı́proco) a los renglones 1, 2, 3, 8, ¿qué enunciado se
obtiene? Aplique traducciones a este enunciado para obtener un enunciado que incluye al conectivo ∨.
Escriba dicho enunciado.

Ejercicio 5 Escribir las justificaciones adecuadas:

Hechos Justificaciones
1. ¬(α ⇒ ¬β) ⇒ γ Hipótesis
2. α Hipótesis adicional 1
3. β Hipótesis adicional 2
4. α ⇒ (¬¬β ⇒ ¬(α ⇒ ¬β))
5. ¬¬β ⇒ ¬(α ⇒ ¬β)
6. β ⇒ ¬¬β
7. β ⇒ ¬(α ⇒ ¬β)
8. ¬(α ⇒ ¬β)
9. γ

Al aplicar dos veces el Teorema de la Deducción (recı́proco) a los renglones 1, 2, 3, 9, ¿qué enunciado se
obtiene? Aplique traducciones a este enunciado para obtener un enunciado que incluye al conectivo ∧.
Escriba dicho enunciado.

Ejercicio 6 Escribir las justificaciones adecuadas:

{¬¬(α ⇒ ¬β), ¬¬α} |− ¬β

 7

Hechos Justificación
1. ¬¬(α ⇒ ¬β) ⇒ (α ⇒ ¬β)
2. ¬¬(α ⇒ ¬β) Hipótesis
3. α ⇒ ¬β
4. (α ⇒ ¬β) ⇒ (¬¬β ⇒ ¬α)
5. ¬¬β ⇒ ¬α
6. β ⇒ ¬¬β
7. β ⇒ ¬α
8. (β ⇒ ¬α) ⇒ (¬¬α ⇒ ¬β)
9. ¬¬α ⇒ ¬β
10. ¬¬α Hipótesis
11. ¬β

Ejercicio 7 Decidir cuáles de los siguientes enunciados son verdaderos:

1
1. Si q es irracional y r es racional distinto de 0, entonces rq es irracional. SI NO
1
2. Si q es racional distinto de 0, entonces q es racional. SI NO

3. Si q es irracional y s es racional, entonces q + s es racional. SI NO

4. √1 + √1 es irracional. SI NO
2 3

Ejercicio 8 Considere un rectángulo de lados b > a > 0, con b < 2a. Se dice que el rectángulo tiene
proporción áurea, si cumple la siguiente propiedad: si se elimina del rectángulo el cuadrado de lado a,
el rectángulo resultante cumple que su lado mayor dividido entre su lado menor, es igual a ab . Sea r = ab .
Probar: r es irracional.

Ejercicio 9 Decidir si la siguiente F BF es tautologı́a:

((P ⇒ (¬R ⇒ ¬Q)) ∧ (P ∧ Q)) ⇒ R

SI NO

Ejercicio 10 Decidir la validez de los siguientes argumentos, de la siguiente manera. Si es válido, pro-
porcionar la justificación por medio de leyes de la lógica y reglas de inferencia, caso contrario dar un
contraejemplo.
1. P
1. ¬P ⇒ Q
2. ¬R ⇒ ¬P
2. ¬R ⇒ ¬P
a) 3. P ⇒ (Q ∨ ¬R) b)
3. Q ⇒ S
4. ¬S ∨ ¬Q .
.. ¬S ⇒ R
... S