Materiales Didácticos Alejandra Olivas-Dávila

Ejercicios de práctica. Deducción Natural

I
nstrucciones. A continuación encontrarás ejercicios de deducción natural que
puedes resolver acorde a los episodios 19-24. Se te provee de la lista de premisas y
la conclusión la que debes llegar. Asegúrate de tener tus reglas de inferencia
(acordeón) a la mano. Se recomienda hacer los ejercicios a mano para tener mayor
facilidad al usar los operadores.

Posterior a los ejercicios se encuentra la resolución de cada uno resulto para comparar
resultados y detectar posibles errores y omisiones.

Advertencia: En ocasiones al copiar de esta hoja de ejercicios a tu cuaderno se pueden

omitir operadores o variables y esto va a resultar en una mala deducción. ¡Mucha
atención a los operadores que se usan en cada caso!

Ejercicio1.

1. a→(q→b) premisa :.q→t

2. s→(b→t) premisa

3. a premisa

4. s premisa

Ejercicio 2.

1. (p∧t) ∨ (r →u) premisa :. ¬r

2. ¬(p∧t) premisa
3. ¬u premisa

Ejercicio 3.

1. p→(s∧q) premisa :.r

2. (s∨q) →r premisa
3. p premisa

Ejercicio 4.

1. a→(q∧r) premisa :.s

2. q→(s∧a) premisa
3. a premisa

Ejercicio 5.
 Materiales Didácticos Alejandra Olivas-Dávila

1. p→(e→¬q) premisa :.e→m

2. r∨(¬q→m) premisa
3. p premisa
4. ¬r premisa

Ejercicio 6.

1. (p∨t) →(b∧g) premisa :.p∧b

2. p∧(k≡r) premisa

Ejercicio 7.

1. ¬(q∧p) premisa :.¬p

2. ¬q→a premisa

Ejercicio 8.

1. (p∨q) ∨r premisa :.d

2. ¬r premisa
3. ¬p premisa
4. q→r premisa

Ejercicio 9.

1. p premisa :.r
2. q premisa
3. (¬p∨¬q) ∨r premisa

Ejercicio 10.

1. p∧(t→¬s) premisa :.t→¬s

2. r→¬q premisa
3. →(t∧s) premisa
4. ¬q premisa

_____________________________________________

SOLUCIONES

A continuación se plantean las soluciones a los ejercicios listados

anteriormente. Se exhorta al alumno intentar resolver por sí mismo
previo a ver las soluciones.
 Materiales Didácticos Alejandra Olivas-Dávila

Ejercicio1.

1. a→(q→b) premisa :.q→t

2. s→(b→t) premisa

3. a premisa

4. s premisa

5.(q→b) MP, 1&3

6. (b→t) MP, 2&4

7. q→t SH, 5&6

Ejercicio 2.

1. (p∧t) ∨ (r →u) premisa :. ¬r

2. ¬(p∧t) premisa
3. ¬u premisa
4. r →u SD, 1&2
5. ¬r MT, 4&3

Ejercicio 3.

1. p→(s∧q) premisa :.r

2. (s∨q) →r premisa
3. p premisa
4. s∧q MP, 1&3
5. s Simp, 4
6. s∨q Ad, 5
7. r MP,2&6

Ejercicio 4.

1. a→(q∧r) premisa :.s

2. q→(s∧a) premisa
3. a premisa
4. q∧r MP, 1&3
5. q Simp, 4
6. s∧a MP, 2&5
7. s Simp, 6

Ejercicio 5.

1. p→(e→¬q) premisa :.e→m

 Materiales Didácticos Alejandra Olivas-Dávila

2. r∨(¬q→m) premisa
3. p premisa
4. ¬r premisa
5. (e→¬q) MP, 1&3
6. (¬q→m) SD, 2&4
7. e→m SH, 5,6

Ejercicio 6.

1. (p∨t) →(b∧g) premisa :.p∧b

2. p∧(a≡r) premisa
3. p Simp, 2
4. p∨t Ad, 3
5. b∧g MP, 1&4
6. b Simp, 5
7. p∧b Conj, 3&6

Ejercicio 7.

1. ¬(q∧p) premisa :.¬p

2. ¬q→a premisa
3. ¬a premisa
4. ¬¬q MT, 2&3
5. ¬q∨¬p DeM, 1
6. ¬p SD, 5&4

Ejercicio 8.

1. (p∨q) ∨r premisa :.d

2. ¬r premisa
3. ¬p premisa
4. q→r premisa
5. (p∨q) SD, 1&2
6. q MT, 4&2
7. r MP, 4&6
8. r∨d Ad, 7
9. d SD, 8&2

Ejercicio 9.

1. ¬p premisa :.r
2. ¬q premisa
 Materiales Didácticos Alejandra Olivas-Dávila

3. (p∨q) ∨r premisa
4. ¬p∧¬q Conj, 1,2
5. ¬(p∨q) DeM, 4
6. r SD 3,5

Ejercicio 10.
1. p∧(t→¬s) premisa :.t→¬s
2. r→¬q premisa
3. ¬ (t∧s) premisa
4. ¬q premisa
5. ¬t ∨ ¬s DeM, 3
6. t→¬s IM, 5