Lógica y argumentación

2023-2
Profesor: Diego Rodríguez
Preparación de clase 3.6
El siguiente taller busca afianzar la capacidad de los estudiantes de hacer demostraciones a través del método
de deducción natural.
EJERCICIOS
1. Mencione la justificación de cada paso. Recuerde mencionar las líneas involucradas (según la regla o la ley,
pueden ser una línea, dos o incluso tres):
a) b)
1. f → ¬g 1. i → (i ∧ j)
2. ¬f → (h → ¬g) 2. i ∨ (¬¬k ∧ ¬¬j)
3. (¬i ∨ ¬h) → ¬¬g 3. l → ¬k
4. ¬i ∴ ¬h 4. ¬(i ∧ j) ∴ ¬l ∨ ¬j
5. ¬i ∨ ¬h _______________________ 5. ¬i _______________________
6. ¬¬g _______________________ 6. ¬¬k ∧ ¬¬j _______________________
7. ¬f _______________________ 7. ¬¬k _______________________
8. h → ¬g _______________________ 8. ¬l _______________________
9. ¬h _______________________ 9. ¬l ∨ ¬j _______________________

c) d)
1. (q ∨ ¬r) ∨ s 1. t ∧ (u ∨ v)
2. ¬q ∨ (r ∧ ¬q) ∴r→s 2. t → [u → (w ∧ x)]
3. (¬q ∨ r) ∧ (¬q ∨ ¬q) _______________________ 3. (t ∧ v) → ¬(w ∨ x) ∴ (w ∨ x) → (w ∧ x)
4. (¬q ∨ ¬q) ∧ (¬q ∨ r) _______________________ 4. (t ∧ u) → (w ∧ x) _______________________
5. ¬q ∨ ¬q _______________________ 5. (t ∧ v) → (¬w ∧ ¬x) _______________________
6. ¬q _______________________ 6. (t ∧ u) ∨ (t ∧ v) _______________________
7. q ∨ (¬r ∨ s) _______________________ 7. (w ∧ x) ∨ (¬w ∧ ¬x) _______________________
8. ¬r ∨ s _______________________ 8. (w ∧ x) ∨ ¬(w ∨ x) _______________________
9. r → s _______________________ 9. ¬(w ∧ x) → ¬(w ∨ x) _______________________
10. (w ∨ x) → (w ∧ x) _______________________

2. Desarrolle una prueba de deducción natural en dos pasos para los siguientes ejercicios:
a) b)
1. ¬[(q → ¬r) ∧ (¬r → q)] 1. ¬¬p ∨ ((t ∧ ¬s) → u)
2. (s ∧ t) → (q ⟷ ¬r)1 ∴ ¬(s ∧ t) 2. ¬p ∴ t → (¬s → u)
3. 3.
4. 4.

1 En este ejercicio, recuerde la definición del bicondicional: (A ⟷ B) ≡ [ (A → B) ∧ (B → A) ].

1/3
 Lógica y argumentación
2023-2
Profesor: Diego Rodríguez
c) d)
1. (m → n) ∧ (o → p) 1. j ∨ ¬k
2. n → p 2. k ∨ (l → j)
3. (n → p) → (m ∨ o) ∴n∨p 3. ¬j ∴l→j
4. 4.
5. 5.

e) f)
1. (a ∨ b) → (c ∨ d) 1. a ∨ b
2. ¬c ∧ ¬d ∴ ¬(a ∨ b) 2. c ∨ d ∴ [ (a ∨ b) ∧ c ] ∨ [ (a ∨ b) ∧ d ]
3. 3.
4. 4.
3. Ejercicios propedéuticos: Los siguientes son ejercicios simples de identificación de patrones usuales de
razonamiento. Construya una prueba de validez mediante el método de deducción natural para los
siguientes razonamientos. Emplee todas las reglas que necesite, incluyendo leyes de equivalencia de ser
necesario:
a) b)
1. (¬a ∨ k) → b 1. ¬a → (d ∧ ¬ g)
2. k ∴c∨b 2. g ∴ ¬¬a

c) d)
1. ¬t → u 1. p → q
2. ¬s → ¬r 2. (q ∨ r) → ¬p ∴ ¬p

3. ¬t ∨ r ∴ ¬u → s

e) f)
1. ¬(d ∧ ¬ g) → ¬a 1. ¬g → (s ∧ ¬h)
2. d → (¬g → ¬f) ∴ a → ¬f 2. s → (k → h) ∴ ¬g → ¬k

4. Construya una prueba de validez mediante el método de deducción natural para los siguientes
razonamientos. Emplee todas las reglas que necesite, incluyendo leyes de equivalencia de ser necesario:
a) b)
1. s → (t → u) ∴ t → (s → u) 1. y → (w ∧ x) ∴y→w

c) d)
1. (r ∨ s) → (t ∧ u) 1. t → (u ∧ y)
2. ¬r → (y → ¬y) 2. (u ∨ y) → w ∴t→w
3. ¬t ∴ ¬y

2/3
 Lógica y argumentación
2023-2
Profesor: Diego Rodríguez
e) f)
1. s ∨ (w ∧ x) 1. (¬r ∧ ¬q) ∨ r
2. s → t 2. ¬(¬r ∧ q) → (s → t) ∴ ¬t → ¬s
3. t → x ∴x

g) h)
1. a → b 1. ¬a ∴a→b
2. a ∨ (c ∧ d)
3. ¬b ∧ ¬e ∴c

i) j)
1. t → u 1. (r ∨ s) → (t ∧ u)
2. t → s ∴ t → (u ∧ s) 2. ¬r → (q → ¬q)
3. ¬t ∴ ¬q

k) (ejercicio 17b) l)
1. [ (p ∨ q) ∧ r ] → s 1. ¬t → q
2. (r → s) → (t → w) 2. (¬t ∧ q) → s
3. t ∴p→w 3. ¬k ∨ ¬s ∴ ¬k ∨ r
5. Construya una prueba de validez mediante el método de deducción natural para el siguiente razonamiento:
{ ¬s → q, (u ∨ p) → (k ∨ t), (r ∧ s) → t, ¬r → q, q → u } ⊨ (¬t → k)

3/3