ejercicios de deducción natural · 2011. 5. 20. · ejercicios de deducción natural josé a....
TRANSCRIPT
![Page 1: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/1.jpg)
Ejercicios de deducción natural
José A. Alonso Jiménez
Grupo de Lógica ComputacionalDpto. de Ciencias de la Computación e Inteligencia ArtificialUniversidad de SevillaSevilla, 26 de Abril de 2007 (versión de 20 de mayo de 2011)
![Page 2: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/2.jpg)
Esta obra está bajo una licencia Reconocimiento–NoComercial–CompartirIgual 2.5 Spainde Creative Commons.
Se permite:
copiar, distribuir y comunicar públicamente la obra
hacer obras derivadas
Bajo las condiciones siguientes:
Reconocimiento. Debe reconocer los créditos de la obra de la manera especificadapor el autor.
No comercial. No puede utilizar esta obra para fines comerciales.
Compartir bajo la misma licencia. Si altera o transforma esta obra, o genera unaobra derivada, sólo puede distribuir la obra generada bajo una licencia idéntica aésta.
Al reutilizar o distribuir la obra, tiene que dejar bien claro los términos de la licencia deesta obra.
Alguna de estas condiciones puede no aplicarse si se obtiene el permiso del titular de losderechos de autor.
Esto es un resumen del texto legal (la licencia completa). Para ver una copia de estalicencia, visite http://creativecommons.org/licenses/by-nc-sa/2.5/es/ o envie unacarta a Creative Commons, 559 Nathan Abbott Way, Stanford, California 94305, USA.
![Page 3: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/3.jpg)
Índice general
1. Ejercicios resueltos en clase 4
2. Ejercicios propuestos 19
3. Ejercicios de exámenes 50
3
![Page 4: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/4.jpg)
Capítulo 1
Ejercicios resueltos en clase
4
![Page 5: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/5.jpg)
José A. Alonso Jiménez 5
Ejercicio 1 Demostrar mediante deducción naturalP(c),∀x[P(x)→ ¬Q(x)]` ¬Q(c)
Solución:
1 P(c) Premisa
2 ∀x[P(x)→ ¬Q(x)] Premisa
3 P(c)→ Q(c) E ∀ 2
4 Q(c) E→ 3, 1
![Page 6: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/6.jpg)
6 Ejercicios de deducción natural
Ejercicio 2 Demostrar mediante deducción natural∀x[P(x)→ ¬Q(x)],∀xP(x)` ∀x¬Q(x)
Solución:
1 ∀x[P(x)→ ¬Q(x)] Premisa
2 ∀xP(x) Premisa
3 parametro x0 Supuesto
4 P(x0)→ ¬Q(x0) E ∀ 1, 3
5 P(x0) E ∀ 2, 3
6 Q(x0) E→ 4, 5
7 ∀x¬Q(x) I ∀ 3− 6
![Page 7: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/7.jpg)
José A. Alonso Jiménez 7
Ejercicio 3 Demostrar mediante deducción natural∀xP(x)` ∃xP(x)
Solución:
1 ∀xP(x) Premisa
2 P(x0) E ∀ 1
3 ∃xP(x) I ∃ 2
![Page 8: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/8.jpg)
8 Ejercicios de deducción natural
Ejercicio 4 Demostrar mediante deducción natural∀x[P(x)→ Q(x)],∃xP(x)` ∃xQ(x)
Solución:
1 ∀x[P(x)→ Q(x)] Premisa
2 ∃xP(x) Premisa
3 parametro x0, P(x0) Supuesto
4 P(x0)→ Q(x0) E ∀ 1, 3
5 Q(x0) E→ 4, 3
6 ∃xQ(x) I ∃ 5
7 ∃xQ(x) E ∃ 2, 3− 6
![Page 9: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/9.jpg)
José A. Alonso Jiménez 9
Ejercicio 5 Demostrar mediante deducción natural∀x[Q(x)→ R(x)],∃x[P(x) ∧Q(x)]` ∃x[P(x) ∧ R(x)]
Solución:
1 ∀x[Q(x)→ R(x)] Premisa
2 ∃x[P(x) ∧Q(x)] Premisa
3 parametro x0, P(x0) ∧Q(x0) Supuesto
4 P(x0) E∧ 3
5 Q(x0)→ R(x0) E ∀ 1
6 Q(x0) E∧ 3
7 R(x0) E→ 5, 6
8 P(x0) ∧ R(x0) I∧ 4, 7
9 ∃x[P(x) ∧ R(x)] I ∃ 8
10 ∃x[P(x) ∧ R(x)] E ∃ 2, 3− 9
![Page 10: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/10.jpg)
10 Ejercicios de deducción natural
Ejercicio 6 Demostrar mediante deducción natural∃xP(x),∀x∀y[P(x)→ Q(y)]` ∀yQ(y)
Solución:
1 ∃xP(x) Premisa
2 ∀x∀y[P(x)→ Q(y)] Premisa
3 parametro y0 Supuesto
4 parametro x1, P(x1) Supuesto
5 ∀y[P(x1)→ Q(y)] E ∀ 2, 4
6 P(x1)→ Q(y0) E ∀ 5, 3
7 Q(y0) E→ 6, 4
8 Q(y0) E ∃ 1, 4− 7
9 ∀yQ(y) I ∀ 3− 8
![Page 11: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/11.jpg)
José A. Alonso Jiménez 11
Ejercicio 7 Demostrar mediante deducción natural` ¬∀xP(x)↔ ∃x¬P(x)
Solución:En primer lugar, se prueba el Lema 1: ¬∀xP(x) ` ∃x¬P(x)
1 ¬∀xP(x) Premisa
2 ¬∃x¬P(x) Supuesto
3 parametro x0 Supuesto
4 ¬P(x0) Supuesto
5 ∃x¬P(x) I ∃ 4, 3
6 ⊥ E¬ 2, 5
7 P(x0) RAA 4− 6
8 ∀xP(x) I ∀ 3− 7
9 ⊥ E¬ 1, 8
10 ∃x¬P(x) RAA 2− 9
En segundo lugar, se prueba el Lema 2: ∃x¬P(x) ` ¬∀xP(x)
1 ∃x¬P(x) Premisa
2 ¬¬∀xP(x) Supuesto
3 parametro x0, ¬P(x0) Supuesto
4 ∀xP(x) E¬¬ 2
5 P(x0) E ∀ 4
6 ⊥ E¬ 3, 5
7 ⊥ E ∃ 1, 3− 6
8 ¬∀xP(x) RAA 2− 7
Finalmente se demuesta el ejercicio
![Page 12: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/12.jpg)
12 Ejercicios de deducción natural
1 ¬∀xP(x) Supuesto
2 ∃x¬P(x) Lema 1
3 ¬∀xP(x)→ ∃x¬P(x) I→ 1− 2
4 ∃x¬P(x) Supuesto
5 ¬∀xP(x) Lema 2
6 ∃x¬P(x)→ ¬∀xP(x) I→ 4− 5
7 ¬∀xP(x)↔ ∃x¬P(x) I↔ 3, 6
![Page 13: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/13.jpg)
José A. Alonso Jiménez 13
Ejercicio 8 Demostrar mediante deducción natural` ∀x[P(x) ∧Q(x)]↔ ∀xP(x) ∧ ∀xQ(x)
Solución:En primer lugar se demuestra el Lema 3:
∀x[P(x) ∧Q(x)] ` ∀xP(x) ∧ ∀xQ(x)
1 ∀x[P(x) ∧Q(x)] Premisa
2 parametro x0 Supuesto
3 P(x0) ∧Q(x0) E ∀ 1, 2
4 P(x0) E∧ 3
5 ∀xP(x) I ∀ 2− 4
6 parametro x1 Supuesto
7 P(x1) ∧Q(x1) E ∀ 1, 6
8 Q(x1) E∧ 7
9 ∀xQ(x) I ∀ 6− 8
10 ∀xP(x) ∧ ∀xQ(x) I∧ 5, 9
En segundo lugar se demuestra el Lema 4:∀xP(x) ∧ ∀xQ(x) ` ∀x[P(x) ∧Q(x)].
1 ∀xP(x) ∧ ∀xQ(x) Premisa
2 parametro x0 Supuesto
3 ∀xP(x) E∧ 1
4 P(x0) E ∀ 3, 2
5 ∀xQ(x) E∧ 1
6 Q(x0) E∧ 5
7 P(x0) ∧Q(x0) I∧ 4, 6
8 ∀x[P(x) ∧Q(x)] I ∀ 2− 7
Finalmente se demuestra el ejercicio
![Page 14: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/14.jpg)
14 Ejercicios de deducción natural
1 ∀x(P(x) ∧Q(x)) Supuesto
2 ∀xP(x) ∧ ∀xQ(x) Lema 3
3 ∀x(P(x) ∧Q(x))→ ∀xP(x) ∧ ∀xQ(x) I→ 1− 2
4 ∀xP(x) ∧ ∀xQ(x) Supuesto
5 ∀x(P(x) ∧Q(x)) Lema 4
6 ∀xP(x) ∧ ∀xQ(x)→ ∀x(P(x) ∧Q(x)) I→ 4− 5
7 ∀x(P(x) ∧Q(x))↔ ∀xP(x) ∧ ∀xQ(x) I↔ 3, 6
![Page 15: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/15.jpg)
José A. Alonso Jiménez 15
Ejercicio 9 Demostrar mediante deducción natural` ∃xP(x) ∨ ∃xQ(x)↔ ∃x[P(x) ∨Q(x)]
Solución:En primer lugar se demuestra el Lema 5:
∃xP(x) ∨ ∃xQ(x) ` ∃x[P(x) ∨Q(x)]
1 ∃xP(x) ∨ ∃xQ(x) Premisa
2 ∃xP(x) Supuesto
3 parametro x0, P(x0) Supuesto
4 P(x0) ∨Q(x0) I∨ 3
5 ∃x[P(x) ∨Q(x)] I ∃ 4, 3
6 ∃x[P(x) ∨Q(x)] E ∃ 2, 3− 5
7 ∃xQ(x) Supuesto
8 parametro x1, Q(x1) Supuesto
9 P(x1) ∨Q(x1) I∨ 8
10 ∃x[P(x) ∨Q(x)] I ∃ 9, 8
11 ∃x[P(x) ∨Q(x)] E ∃ 7, 8− 10
12 ∃x[P(x) ∨Q(x)] ∨E 1 , 2− 6, 7− 11
En segundo lugar se demuestra el Lema 6:
∃x[P(x) ∨Q(x)] ` ∃xP(x) ∨ ∃xQ(x)
![Page 16: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/16.jpg)
16 Ejercicios de deducción natural
1 ∃x[P(x) ∨Q(x)] Premisa
2 parametro x0, P(x0) ∨Q(x0) Supuesto
3 P(x0) Supuesto
4 ∃xP(x) I ∃ 3, 2
5 ∃xP(x) ∨ ∃xQ(x) I∨ 4
6 Q(x0) Supuesto
7 ∃xQ(x) I ∃ 6, 2
8 ∃xP(x) ∨ ∃xQ(x) I∨ 7
9 ∃xP(x) ∨ ∃xQ(x) E∨ 2, 3− 5, 6− 8
10 ∃xP(x) ∨ ∃xQ(x) E ∃ 1, 2− 9
Finalmente se demuestra el ejercicio
1 ∃xP(x) ∨ ∃xQ(x) Supuesto
2 ∃x[P(x) ∨Q(x)] Lema 5
3 ∃xP(x) ∨ ∃xQ(x)→ ∃x[P(x) ∨Q(x)] I→ 1− 2
4 ∃x[P(x) ∨Q(x)] Supuesto
5 ∃xP(x) ∨ ∃xQ(x) Lema 6
6 ∃x[P(x) ∨Q(x)]→ ∃xP(x) ∨ ∃xQ(x) I→ 4− 5
7 ∃xP(x) ∨ ∃xQ(x)↔ ∃x[P(x) ∨Q(x)] I↔ 3, 6
![Page 17: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/17.jpg)
José A. Alonso Jiménez 17
Ejercicio 10 Demostrar mediante deducción natural` ∃x∃yP(x, y)↔ ∃y∃xP(x, y)
Solución:En primer lugar se demuestra el Lema 7:
∃x∃yP(x, y) ` ∃y∃xP(x, y)
1 ∃x∃yP(x, y) Premisa
2 parametro x0, ∃yP(x0, y) Supuesto
3 parametro y0, P(x0, y0) Supuesto
4 ∃xP(x, y0) I ∃ 3, 2
5 ∃y∃xP(x, y) I ∃ 4, 3
6 ∃y∃xP(x, y) E ∃ 2, 3− 5
7 ∃y∃xP(x, y) E ∃ 1, 2− 6
En segundo lugar se demuestra el Lema 8:
∃x∃yP(x, y) ` ∃y∃xP(x, y)
1 ∃x∃yP(x, y) Premisa
2 parametro x0, ∃yP(x0, y) Supuesto
3 parametro y0, P(x0, y0) Supuesto
4 ∃xP(x, y0) I ∃ 3, 2
5 ∃y∃xP(x, y) I ∃ 4, 3
6 ∃y∃xP(x, y) E ∃ 2, 3− 5
7 ∃y∃xP(x, y) E ∃ 1, 2− 6
Finalmente se demuestra el ejercicio
![Page 18: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/18.jpg)
18 Ejercicios de deducción natural
1 ∃x∃yP(x, y) Supuesto
2 ∃y∃xP(x, y) Lema 7
3 ∃x∃yP(x, y)→ ∃y∃xP(x, y) I→ 1− 2
4 ∃y∃xP(x, y) Supuesto
5 ∃x∃yP(x, y) Lema 8
6 ∃y∃xP(x, y)→ ∃x∃yP(x, y) I→ 4− 5
7 ∃x∃yP(x, y)↔ ∃y∃xP(x, y) I↔ 3, 6
![Page 19: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/19.jpg)
Capítulo 2
Ejercicios propuestos
19
![Page 20: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/20.jpg)
20 Ejercicios de deducción natural
Ejercicio 11 Demostrar mediante deducción natural∀x[P(x)→ Q(x)]` ∀xP(x)→ ∀xQ(x)
Solución:
1 ∀x[P(x)→ Q(x)] Premisa
2 ∀xP(x) Supuesto
3 parametro x0 Supuesto
4 P(x0)→ Q(x0) E ∀ 1, 3
5 P(x0) E ∀ 2, 3
6 Q(x0) E→ 4, 5
7 ∀xQ(x) I ∀ 3− 6
8 ∀xP(x)→ ∀xQ(x) I∧ 2− 7
![Page 21: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/21.jpg)
José A. Alonso Jiménez 21
Ejercicio 12 Demostrar mediante deducción natural∃x¬P(x)` ¬∀xP(x)
Solución:
1 ∃x¬P(x) Premisa
2 ∀xP(x) Supuesto
3 parametro x0, ¬P(x0) Supuesto
4 P(x0) E ∀ 2, 3
5 ⊥ E¬ 3, 2, 4
6 ⊥ E ∃ 1, 3− 5
7 ¬∀xP(x) I¬ 2− 6
![Page 22: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/22.jpg)
22 Ejercicios de deducción natural
Ejercicio 13 Demostrar mediante deducción natural∀xP(x)` ∀yP(y)
Solución:
1 ∀xP(x) Premisa
2 parametro y0 Supuesto
3 P(y0) E ∀ 1, 2
4 ∀yP(y) I ∀ 2− 3
![Page 23: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/23.jpg)
José A. Alonso Jiménez 23
Ejercicio 14 Demostrar mediante deducción natural∀x[P(x)→ Q(x)]` ∀x¬Q(x)→ ∀x¬P(x)
Solución:
1 ∀x[P(x)→ Q(x)] Premisa
2 ∀x¬Q(x) Supuesto
3 parametro x0 Supuesto
4 P(x0)→ Q(x0) E ∀ 1, 3
5 ¬Q(x0) E ∀ 2, 3
6 ¬P(x0) MT 4, 5
7 ∀x¬P(x) I ∀ 3− 6
8 ∀x¬Q(x)→ ∀x¬P(x) E→ 2− 7
![Page 24: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/24.jpg)
24 Ejercicios de deducción natural
Ejercicio 15 Demostrar mediante deducción natural∀x[P(x)→ ¬Q(x)]` ¬∃x[P(x) ∧Q(x)]
Solución:
1 ∀x[P(x)→ ¬Q(x)] Premisa
2 ∃x[P(x) ∧Q(x)] Supuesto
3 parametro x0, P(x0) ∧Q(x0) Supuesto
4 Q(x0) E∧ 3
5 P(x0)→ ¬Q(x0) E ∀ 1, 3
6 P(x0) E∧ 3
7 ¬Q(x0) E→ 5, 6
8 ⊥ E¬ 7, 4
9 ⊥ E ∃ 2, 3− 8
10 ¬∃x[P(x) ∧Q(x)] I¬ 2− 9
![Page 25: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/25.jpg)
José A. Alonso Jiménez 25
Ejercicio 16 Demostrar mediante deducción natural∀x∀yP(x, y)` (∀u)(∀v)P(u, v)
Solución:
1 ∀x∀yP(x, y) Premisa
2 parametro u0 Supuesto
3 parametro v0 Supuesto
4 ∀yP(u0, y) E ∀ 1, 2
5 P(u0, v0) E ∀ 4, 3
6 (∀v)P(u0, v) I ∀ 3− 5
7 (∀u)(∀v)P(u, v) I ∀ 2− 6
![Page 26: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/26.jpg)
26 Ejercicios de deducción natural
Ejercicio 17 Demostrar mediante deducción natural∃x∃yP(x, y)` (∃u)(∃v)P(u, v)
Solución:
1 ∃x∃yP(x, y) Premisa
2 parametro x0, ∃yP(x0, y) Supuesto
3 parametro y0, P(x0, y0) Supuesto
4 (∃v)P(x0, v) I ∃ 3, 3
5 (∃u)(∃v)P(u, v) I ∃ 4, 2
6 (∃u)(∃v)P(u, v) E ∃ 2, 3− 5
7 (∃u)(∃v)P(u, v) E ∃ 1, 2− 6
![Page 27: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/27.jpg)
José A. Alonso Jiménez 27
Ejercicio 18 Demostrar mediante deducción natural∃x∀yP(x, y)` ∀y∃xP(x, y)
Solución:
1 ∃x∀yP(x, y) Premisa
2 parametro x0, ∀yP(x0, y) Supuesto
3 parametro y0 Supuesto
4 P(x0, y0) E ∀ 2, 3
5 ∃xP(x, y0) I ∃ 4, 2
6 ∀y∃xP(x, y) I ∀ 3− 5
7 ∀y∃xP(x, y) E ∃ 1, 2− 6
![Page 28: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/28.jpg)
28 Ejercicios de deducción natural
Ejercicio 19 Demostrar mediante deducción natural∃x[P(a)→ Q(x)]` P(a)→ ∃xQ(x)
Solución:
1 ∃x[P(a)→ Q(x)] Premisa
2 P(a) Supuesto
3 parametro x0, P(a)→ Q(x0) Supuesto
4 Q(x0) E→ 3, 2
5 ∃xQ(x) I ∃ 4, 3
6 ∃xQ(x) E ∃ 1, 3− 5
7 P(a)→ ∃xQ(x) I→ 2− 6
![Page 29: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/29.jpg)
José A. Alonso Jiménez 29
Ejercicio 20 Demostrar mediante deducción naturalP(a)→ ∃xQ(x),` ∃x[P(a)→ Q(x)]
Solución:
1 P(a)→ ∃xQ(x) Premisa
2 parametro x0 Premisa
3 P(a) ∨ ¬P(a) LEM
4 P(a) Supuesto
5 ∃xQ(x) E→ 1, 4
6 parametro x1, Q(x1) Supuesto
7 P(a) Supuesto
8 Q(x1) Hipotesis 6
9 P(a)→ Q(x1) I→ 7− 8
10 ∃x[P(a)→ Q(x)] I ∃ 9, 6
11 ∃x[P(a)→ Q(x)] E ∃ 15, 2
12 ¬P(a) Supuesto
13 P(a) Supuesto
14 ⊥ E¬ 12, 13
15 Q(x0) E⊥ 14
16 P(a)→ Q(x0) I→ 13− 15
17 ∃x[P(a)→ Q(x)] I ∃ 16, 2
18 ∃x[P(a)→ Q(x)] E∨ 3, 4− 11, 12− 17
![Page 30: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/30.jpg)
30 Ejercicios de deducción natural
Ejercicio 21 Demostrar mediante deducción natural∃xP(x)→ Q(a)` ∀x[P(x)→ Q(a)]
Solución:
1 ∃xP(x)→ Q(a) Premisa
2 parametro x0 Supuesto
3 P(x0) Supuesto
4 ∃xP(x) I ∃ 3, 2
5 Q(a) → E 1 , 4
6 P(x0)→ Q(a) I→ 3− 5
7 ∀x[P(x)→ Q(a)] I ∀ 2− 6
![Page 31: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/31.jpg)
José A. Alonso Jiménez 31
Ejercicio 22 Demostrar mediante deducción natural∀x[P(x)→ Q(a)],` ∃x[P(x)→ Q(a)]
Solución:
1 ∀x[P(x)→ Q(a)] Premisa
2 parametro x0 Premisa
3 P(x0)→ Q(a) E ∀ 1, 2
4 ∃x[P(x)→ Q(a)] I ∃ 3, 2
![Page 32: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/32.jpg)
32 Ejercicios de deducción natural
Ejercicio 23 Demostrar mediante deducción natural∀xP(x) ∨ ∀xQ(x)` ∀x[P(x) ∨Q(x)]
Solución:
1 ∀xP(x) ∨ ∀xQ(x) Premisa
2 ∀xP(x) Supuesto
3 parametro x0 Supuesto
4 P(x0) E ∀ 2, 3
5 P(x0) ∨Q(x0) I∨ 4
6 ∀x[P(x) ∨Q(x)] I ∀ 3− 5
7 ∀xQ(x) Supuesto
8 parametro x1 Supuesto
9 Q(x1) E ∀ 7, 8
10 P(x1) ∨Q(x1) I∨ 9
11 ∀x[P(x) ∨Q(x)] I ∀ 8− 10
12 ∀x[P(x) ∨Q(x)] E∨ 1, 2− 6, 7− 11
![Page 33: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/33.jpg)
José A. Alonso Jiménez 33
Ejercicio 24 Demostrar mediante deducción natural∃x[P(x) ∧Q(x)]` ∃xP(x) ∧ ∃xQ(x)
Solución:
1 ∃x[P(x) ∧Q(x)] Premisa
2 parametro x0, P(x0) ∧Q(x0) Supuesto
3 P(x0) E∧ 2
4 ∃xP(x) I ∃ 3, 2
5 Q(x0) E∧ 2
6 ∃xQ(x) I ∃ 5, 2
7 ∃xP(x) ∧ ∃xQ(x) I∧ 4, 6
8 ∃xP(x) ∧ ∃xQ(x) E ∃ 1, 2− 7
![Page 34: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/34.jpg)
34 Ejercicios de deducción natural
Ejercicio 25 Demostrar mediante deducción natural∀x∀y[P(y)→ Q(x)]` ∃yP(y)→ ∀xQ(x)
Solución:
1 ∀x∀y[P(y)→ Q(x)] Premisa
2 ∃yP(y) Supuesto
3 parametro x0 Supuesto
4 parametro y0, P(y0) Supuesto
5 ∀y[P(y)→ Q(x0)] E ∀ 1, 3
6 P(y0)→ Q(x0) E ∀ 5, 4
7 Q(x0) E→ 6, 4
8 Q(x0) E ∃ 2, 4− 9
9 ∀xQ(x) I ∀ 3− 8
10 ∃yP(y)→ ∀xQ(x) I→ 2− 9
![Page 35: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/35.jpg)
José A. Alonso Jiménez 35
Ejercicio 26 Demostrar mediante deducción natural¬∀x¬P(x),` ∃xP(x)
Solución:
1 ¬∀x¬P(x) Premisa
2 parametro x0 Premisa
3 ¬∃xP(x) Supuesto
4 parametro x1 Supuesto
5 P(x1) Supuesto
6 ∃xP(x) I ∃ 5, 4
7 ⊥ E¬ 3, 6
8 ¬P(x1) I¬ 5− 7
9 ∀x¬P(x) I ∀ 4− 8
10 ⊥ E¬ 1, 9
11 ∃xP(x) RAA 3− 10
![Page 36: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/36.jpg)
36 Ejercicios de deducción natural
Ejercicio 27 Demostrar mediante deducción natural∀x¬P(x)` ¬∃xP(x)
Solución:
1 ∀x¬P(x) Premisa
2 ∃xP(x) Supuesto
3 parametro x0, P(x0) Supuesto
4 ¬P(x0) E ∀ 1, 3
5 ⊥ E¬ 4, 3
6 ⊥ E ∃ 2, 3− 5
7 ¬∃xP(x) I¬ 2− 6
![Page 37: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/37.jpg)
José A. Alonso Jiménez 37
Ejercicio 28 Demostrar mediante deducción natural∃xP(x)` ¬∀x¬P(x)
Solución:
1 ∃xP(x) Premisa
2 ∀x¬P(x) Supuesto
3 parametro x0, P(x0) Supuesto
4 ¬P(x0) E ∀ 1, 3
5 ⊥ E¬ 4, 3
6 ⊥ E ∃ 1, 3− 5
7 ¬∀x¬P(x) I¬ 2− 6
![Page 38: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/38.jpg)
38 Ejercicios de deducción natural
Ejercicio 29 Demostrar mediante deducción naturalP(a)→ ∀xQ(x)` ∀x[P(a)→ Q(x)]
Solución:
1 P(a)→ ∀xQ(x) Premisa
2 parametro x0 Supuesto
3 P(a) Supuesto
4 ∀xQ(x) E→ 1, 3
5 Q(x0) E ∀ 4, 2
6 P(a)→ Q(x0) I→ 3− 5
7 ∀x[P(a)→ Q(x)] I ∀ 2− 6
![Page 39: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/39.jpg)
José A. Alonso Jiménez 39
Ejercicio 30 Demostrar mediante deducción natural∀x∀y∀z[R(x, y) ∧ R(y, z)→ R(x, z)],∀x¬R(x, x)` ∀x∀y[R(x, y)→ ¬R(y, x)]
Solución:
1 ∀x∀y∀z[R(x, y) ∧ R(y, z)→ R(x, z)] Premisa
2 ∀x¬R(x, x) Premisa
3 parametro x0 Supuesto
4 parametro y0 Supuesto
5 R(x0, y0) Supuesto
6 R(y0, x0) Supuesto
7 ¬R(x0, x0) E ∀ 2, 3
8 ∀y∀z[R(x0, y) ∧ R(y, z)→ R(x0, z)] E ∀ 1, 3
9 ∀z[R(x0, y0) ∧ R(y0, z)→ R(x0, z)] E ∀ 8, 4
10 R(x0, y0) ∧ R(y0, x0)→ R(x0, x0) E ∀ 9, 3
11 R(x0, y0) ∧ R(y0, x0) I∧ 5, 6
12 R(x0, x0) E→ 10, 11
13 ⊥ E¬ 7, 12
14 ¬R(y0, x0) I¬ 6− 13
15 R(x0, y0)→ ¬R(y0, x0) I→ 5− 14
16 ∀y[R(x0, y)→ ¬R(y, x0)] I ∀ 4− 15
17 ∀x∀y[R(x, y)→ ¬R(y, x)] I ∀ 3− 16
![Page 40: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/40.jpg)
40 Ejercicios de deducción natural
Ejercicio 31 Demostrar mediante deducción natural∀x[P(x) ∨Q(x)],∃x¬Q(x),∀x[R(x)→ ¬P(x)]` ∃x¬R(x)
Solución:
1 ∀x[P(x) ∨Q(x)] Premisa
2 ∃x¬Q(x) Premisa
3 ∀x[R(x)→ ¬P(x)] Premisa
4 parametro x0, ¬Q(x0) Supuesto
5 P(x0) ∨Q(x0) E ∀ 1, 4
6 P(x0) Supuesto
7 R(x0)→ ¬P(x0) E ∀ 3, 4
8 ¬¬P(x0) I¬ ¬6
9 ¬R(x0) MT 7, 8
10 ∃x¬R(x) I ∃ 9, 4
11 Q(x0) Supuesto
12 ⊥ E¬ 4, 11
13 ∃x¬R(x) E⊥ 12
14 ∃x¬R(x) E∨ 5, 6− 10, 11− 13
15 ∃x¬R(x) E ∃ 2, 4− 14
![Page 41: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/41.jpg)
José A. Alonso Jiménez 41
Ejercicio 32 Demostrar mediante deducción natural∀x[P(x)→ (Q(x) ∨ R(x))],¬∃x[P(x) ∧ R(x)]` ∀x[P(x)→ Q(x)]
Solución:
1 ∀x[P(x)→ (Q(x) ∨ R(x))] Premisa
2 ¬∃x[P(x) ∧ R(x)] Premisa
3 parametro x0 Supuesto
4 P(x0) Supuesto
5 P(x0)→ (Q(x0) ∨ R(x0)) E ∀ 1, 3
6 Q(x0) ∨ R(x0) E→ 5, 4
7 Q(x0) Supuesto
8 R(x0) Supuesto
9 P(x0) ∧ R(x0) I∧ 4, 8
10 ∃x[P(x) ∧ R(x)] I ∃ 9, 3
11 ⊥ E¬ 2, 10
12 Q(x0) E⊥ 11
13 Q(x0) E∨ 6,7− 7,8− 12
14 P(x0)→ Q(x0) I→ 4− 13
15 ∀x[P(x)→ Q(x)] I ∀ 3− 14
![Page 42: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/42.jpg)
42 Ejercicios de deducción natural
Ejercicio 33 Demostrar mediante deducción natural∃x∃y[R(x, y) ∨ R(y, x)]` ∃x∃yR(x, y)
Solución:
1 ∃x∃y[R(x, y) ∨ R(y, x)] Premisa
2 parametro x0, ∃y[R(x0, y) ∨ R(y, x0)] Supuesto
3 parametro y0, R(x0, y0) ∨ R(y0, x0) Supuesto
4 R(x0, y0) Supuesto
5 ∃yR(x, y0) I ∃ 4, 3
6 ∃x∃yR(x, y) I ∃ 5, 2
7 R(y0, x0) Supuesto
8 ∃yR(y0, y) I ∃ 7, 2
9 ∃x∃yR(x, y) I ∃ 8, 3
10 ∃x∃yR(x, y) E∨ 3, 4− 6, 7− 9
11 ∃x∃yR(x, y) E ∃ 2, 3− 10
12 ∃x∃yR(x, y) E ∃ 1, 2− 11
![Page 43: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/43.jpg)
José A. Alonso Jiménez 43
Ejercicio 34 Demostrar mediante deducción naturalt1 = t2,t2 = t3` t1 = t3
Solución:
1 t1 = t2 Premisa
2 t2 = t3 Premisa
3 t1 = t3 E= 2, 1
![Page 44: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/44.jpg)
44 Ejercicios de deducción natural
Ejercicio 35 Demostrar mediante deducción naturalt1 = t2` t2 = t1
Solución:
1 t1 = t2 Premisa
2 t1 = t1 I=
3 t2 = t1 E= 1, 2
![Page 45: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/45.jpg)
José A. Alonso Jiménez 45
Ejercicio 36 Demostrar mediante deducción naturalP(a)` ∀x(x = a→ P(x))
Solución:1 P(a) Premisa
2 x0 Supuesto
3 x0 = a Supuesto
4 P(x0) E= 3, 1
5 x0 = a→ P(x0) I→ 3− 4
6 ∀x(x = a→ P(x)) I ∀ 2− 5
![Page 46: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/46.jpg)
46 Ejercicios de deducción natural
Ejercicio 37 Demostrar mediante deducción natural∃x∃y(R(x, y) ∨ R(y, x))¬∃xR(x, x)` ∃x∃y¬(x = y)
Solución:1 ∃x∃y(R(x, y) ∨ R(y, x)) Premisa
2 ¬∃xR(x, x) Premisa
3 parametro x0, ∃y(R(x0, y) ∨ R(y, x0)) Supuesto
4 parametro y0, R(x0, y0) ∨ R(y0, x0) Supuesto
5 x0 = y0 Supuesto
6 R(x0, y0) Supuesto
7 R(y0, y0) I= 5, 6
8 ∃xR(x, x) I ∃ 7, 4
9 ⊥ E¬ 2, 8
10 R(y0, x0) Supuesto
11 R(y0, y0) I= 5, 10
12 ∃xR(x, x) I ∃ 11, 4
13 ⊥ E¬ 2, 12
14 ⊥ E∨ 4, 6− 9, 10− 13
15 ¬(x0 = y0) I¬ 5− 14
16 ∃y¬(x0 = y) I ∃ 15, 4
17 ∃x∃y¬(x = y) I ∃ 16, 3
18 ∃x∃y¬(x = y) E ∃ 3, 4− 17
19 ∃x∃y¬(x = y) E ∃ 1, 3− 18
![Page 47: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/47.jpg)
José A. Alonso Jiménez 47
Ejercicio 38 Demostrar mediante deducción natural∀xP(a, x, x),∀x∀y∀z(P(x, y, z)→ P( f (x), y, f (z))` P( f (a), a, f (a)
Solución:1 ∀xP(a, x, x) Premisa
2 ∀x∀y∀z(P(x, y, z)→ P( f (x), y, f (z)) Premisa
3 ∀xP(a, a, a) E ∀ 1
4 ∀y∀z(P(a, y, z)→ P( f (a), y, f (z)) E ∀ 2
5 ∀z(P(a, a, z)→ P( f (a), a, f (z)) E ∀ 4
6 P(a, a, a)→ P( f (a), a, f (a) E ∀ 5
7 P( f (a), a, f (a) E→ 6, 3
![Page 48: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/48.jpg)
48 Ejercicios de deducción natural
Ejercicio 39 Demostrar mediante deducción natural∀xP(a, x, x),∀x∀y∀z(P(x, y, z)→ P( f (x), y, f (z))` ∃zP( f (a), z, f ( f (a)))
Solución:1 ∀xP(a, x, x) Premisa
2 ∀x∀y∀z(P(x, y, z)→ P( f (x), y, f (z)) Premisa
3 P(a, f (a), f (a)) E ∀ 1
4 ∀y∀z(P(a, y, z)→ P( f (a), y, f (z)) E ∀ 2
5 ∀z(P(a, f (a), z)→ P( f (a), f (a), f (z)) E ∀ 4
6 P(a, f (a), f (a))→ P( f (a), f (a), f ( f (a)) E ∀ 5
7 P( f (a), f (a), f ( f (a))) E→ 6, 3
8 ∃zP( f (a), z, f ( f (a))) I ∃ 7
![Page 49: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/49.jpg)
José A. Alonso Jiménez 49
Ejercicio 40 Demostrar mediante deducción natural∀yQ(a, y),∀x∀y(Q(x, y)→ Q(s(x), s(y)))` ∃z(Q(a, z) ∧Q(z, s(s(a))))
Solución:1 ∀yQ(a, y) Premisa
2 ∀x∀y(Q(x, y)→ Q(s(x), s(y))) Premisa
3 Q(a, s(a)) E ∀ 1
4 ∀y(Q(a, y)→ Q(s(a), s(y))) E ∀ 2
5 Q(a, s(a))→ Q(s(a), s(s(a))) E ∀ 4
6 Q(s(a), s(s(a))) E→ 5, 3
7 Q(a, s(a)) ∧Q(s(a), s(s(a))) I∧ 3, 6
8 ∃z(Q(a, z) ∧Q(z, s(s(a)))) I ∃ 7
![Page 50: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/50.jpg)
Capítulo 3
Ejercicios de exámenes
50
![Page 51: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/51.jpg)
José A. Alonso Jiménez 51
Ejercicio 41 Demostrar mediante deducción natural∀xP(x) ∨ ∀xQ(x)` ∀x[P(x) ∨Q(x)]
Solución:
1 ∀xP(x) ∨ ∀xQ(x) Premisa
2 ∀xP(x) Supuesto
3 parametro x0 Supuesto
4 P(x0) E ∀ 2, 3
5 P(x0) ∨Q(x0) I∨ 4
6 ∀x[P(x) ∨Q(x)] I ∀ 3− 5
7 ∀xQ(x) Supuesto
8 parametro x1 Supuesto
9 Q(x1) E ∀ 7, 8
10 P(x1) ∨Q(x1) I∨ 9
11 ∀x[P(x) ∨Q(x)] I ∀ 8− 10
12 ∀x[P(x) ∨Q(x)] E∨ 1, 2− 6, 7− 11
![Page 52: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/52.jpg)
52 Ejercicios de deducción natural
Ejercicio 42 Demostrar mediante deducción natural∃x[P(x) ∧Q(x)]` ∃xP(x) ∧ ∃xQ(x)
Solución:
1 ∃x[P(x) ∧Q(x)] Premisa
2 parametro x0, P(x0) ∧Q(x0) Supuesto
3 P(x0) E∧ 2
4 ∃xP(x) I ∃ 3, 2
5 Q(x0) E∧ 2
6 ∃xQ(x) I ∃ 5, 2
7 ∃xP(x) ∧ ∃xQ(x) I∧ 4, 6
8 ∃xP(x) ∧ ∃xQ(x) E ∃ 1, 2− 7
![Page 53: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/53.jpg)
José A. Alonso Jiménez 53
Ejercicio 43 Demostrar mediante deducción natural∀x[R(x)→ Q(x)],∃x[P(x) ∧ ¬Q(x)]` ∃x[P(x) ∧ ¬R(x)]
Solución:
1 ∀x[R(x)→ Q(x)] Premisa
2 ∃x[P(x) ∧ ¬Q(x)] Premisa
3 parametro x0, P(x0) ∧ ¬Q(x0) Supuesto
4 P(x0) E∧ 3
5 ¬Q(x0) E∧ 3
6 R(x0)→ Q(x0) E ∀ 1, 3
7 ¬R(x0) MT 6, 5
8 P(x0) ∧ ¬R(x0) I∧ 4, 7
9 ∃x[P(x) ∧ ¬R(x)] I ∃ 8, 3
10 ∃x[P(x) ∧ ¬R(x)] E ∃ 2, 3− 9
![Page 54: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/54.jpg)
54 Ejercicios de deducción natural
Ejercicio 44 Demostrar mediante deducción natural∃x[P(x) ∧Q(x)],∀y[P(y)→ R(y)]` ∃x[R(x) ∧Q(x)]
Solución:
1 ∃x[P(x) ∧Q(x)] Premisa
2 ∀y[P(y)→ R(y)] Premisa
3 parametro x0, P(x0) ∧Q(x0) Supuesto
4 P(x0) E∧ 3
5 P(x0)→ R(x0) E ∀ 2, 3
6 R(x0) E→ 5, 4
7 Q(x0) E∧ 3
8 R(x0) ∧Q(x0) I∧ 6,7
9 ∃x[R(x) ∧Q(x)] I ∃ 8, 3
10 ∃x[R(x) ∧Q(x)] E ∃ 1, 3− 9
![Page 55: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/55.jpg)
José A. Alonso Jiménez 55
Ejercicio 45 Demostrar mediante deducción natural∀xR(x, x),∀x∀y∀z[¬R(x, y) ∧ ¬R(y, z)→ ¬R(x, z)]` ∀x∀y[R(x, y) ∨ R(y, x)]
Solución:
1 ∀xR(x, x) Premisa
2 ∀x∀y∀z[¬R(x, y) ∧ ¬R(y, z)→ ¬R(x, z)] Premisa
3 parametro x0 Supuesto
4 parametro y0 Supuesto
5 ¬(R(x0, y0) ∨ R(y0, x0)) Supuesto
6 ∀y∀z[¬R(x0, y) ∧ ¬R(y, z)→ ¬R(x0, z)] E ∀ 2, 3
7 ∀z[¬R(x0, y0) ∧ ¬R(y0, z)→ ¬R(x0, z)] E ∀ 6, 4
8 ¬R(x0, y0) ∧ ¬R(y0, x0)→ ¬R(x0, x0) E ∀ 7, 3
9 R(x0, y0) Supuesto
10 R(x0, y0) ∨ R(y0, x0) I∨ 9
11 ⊥ E¬ 5, 10
12 ¬R(x0, y0) I¬ 9− 11
13 R(y0, x0) Supuesto
14 R(x0, y0) ∨ R(y0, x0) I∨ 13
15 ⊥ E¬ 5, 14
16 ¬R(y0, x0) I¬ 13− 15
17 ¬R(x0, y0) ∧ ¬R(y0, x0) I∧ 12, 16
18 ¬R(x0, x0) E→ 8, 17
19 R(x0, x0) E ∀ 1, 3
20 ⊥ E¬ 18, 19
21 R(x0, y0) ∨ R(y0, x0) RAA 5− 20
22 ∀y[R(x0, y) ∨ R(y, x0)] I ∀ 4− 21
23 ∀x∀y[R(x, y) ∨ R(y, x)] I ∀ 3− 22
![Page 56: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/56.jpg)
56 Ejercicios de deducción natural
Ejercicio 46 Demostrar mediante deducción natural∃x∃y[R(x, y) ∨ R(y, x)]` ∃x∃yR(x, y)
Solución:
1 ∃x∃y[R(x, y) ∨ R(y, x)] Premisa
2 parametro x0, ∃y[R(x0, y) ∨ R(y, x0)] Supuesto
3 parametro y0, R(x0, y0) ∨ R(y0, x0) Supuesto
4 R(x0, y0) Supuesto
5 ∃yR(x0, y) I ∃ 4, 3
6 ∃x∃yR(x, y) I ∃ 5, 2
7 R(y0, x0) Supuesto
8 ∃yR(y0, y) I ∃ 7, 2
9 ∃x∃yR(x, y) I ∃ 8, 3
10 ∃x∃yR(x, y) E∨ 3, 4− 6, 7− 9
11 ∃x∃yR(x, y) E ∃ 2, 3− 10
12 ∃x∃yR(x, y) E ∃ 1, 2− 11
![Page 57: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/57.jpg)
José A. Alonso Jiménez 57
Ejercicio 47 Demostrar mediante deducción natural∀x[P(x)→ ∃yQ(y)],` ∀x∃y[P(x)→ Q(y)]
Solución:
1 ∀x[P(x)→ ∃yQ(y)] Premisa
2 parametro a Premisa
3 parametro x0 Supuesto
4 P(x0) ∨ ¬P(x0) LEM
5 P(x0) Supuesto
6 P(x0)→ ∃yQ(y) E ∀ 1, 3
7 ∃yQ(y) E→ 6, 5
8 parametro y0, Q(y0) Supuesto
9 P(x0) Supuesto
10 Q(y0) Hipotesis
11 P(x0)→ Q(y0) I→ 9− 10
12 ∃y[P(x0)→ Q(y)] I ∃ 11, 8
13 ∃y[P(x0)→ Q(y)] E ∃ 8, 9− 12
14 ¬P(x0) Supuesto
15 P(x0) Supuesto
16 ⊥ E¬ 14, 15
17 Q(a) E⊥ 16
18 P(x0)→ Q(a) I→ 15− 17
19 ∃y[P(x0)→ Q(y)] I ∃ 18, 2
20 ∃y[P(x0)→ Q(y)] E∨ 4, 5− 13,14− 19
21 ∀x∃y[P(x)→ Q(y)] I ∀ 3− 20
![Page 58: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/58.jpg)
58 Ejercicios de deducción natural
Ejercicio 48 Demostrar mediante deducción natural∀x[P(x)→ ¬C(x)],∃x[C(x) ∧ B(x)]` ∃x[B(x) ∧ ¬P(x)]
Solución:
1 ∀x[P(x)→ ¬C(x)] Premisa
2 ∃x[C(x) ∧ B(x)] Premisa
3 parametro x0, C(x0) ∧ B(x0) Supuesto
4 B(x0) E∧ 3
5 P(x0) Supuesto
6 P(x0)→ ¬C(x0) E ∀ 1, 3
7 ¬C(x0) E→ 6, 5
8 C(x0) E∧ 3
9 ⊥ E¬ 7, 8
10 ¬P(x0) I¬ 5− 9
11 B(x0) ∧ ¬P(x0) I∧ 4, 10
12 ∃x[B(x) ∧ ¬P(x)] I ∃ 11, 3
13 ∃x[B(x) ∧ ¬P(x)] E ∃ 2, 3− 12
![Page 59: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/59.jpg)
José A. Alonso Jiménez 59
Ejercicio 49 Demostrar mediante deducción natural∀x∃y[P(x)→ Q(y)]` ∀x[P(x)→ ∃yQ(y)]
Solución:
1 ∀x∃y[P(x)→ Q(y)] Premisa
2 parametro x0 Supuesto
3 P(x0) Supuesto
4 ∃y[P(x0)→ Q(y)] E ∀ 1, 2
5 parametro y0, P(x0)→ Q(y0) Supuesto
6 Q(y0) E→ 5, 3
7 ∃yQ(y) I ∃ 6, 5
8 ∃yQ(y) E ∃ 4, 5− 7
9 P(x0)→ ∃yQ(y) I→ 3− 8
10 ∀x[P(x)→ ∃yQ(y)] I ∀ 2− 9
![Page 60: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/60.jpg)
60 Ejercicios de deducción natural
Ejercicio 50 Demostrar mediante deducción natural¬∀x[P(x)→ Q(a)]` ∃xP(x) ∧ ¬Q(a)
Solución:
1 ¬∀x[P(x)→ Q(a)] Premisa
2 ¬(∃xP(x) ∧ ¬Q(a)) Supuesto
3 parametro x0 Supuesto
4 P(x0) Supuesto
5 ¬Q(a) Supuesto
6 ∃xP(x) I ∃ 4, 3
7 ∃xP(x) ∧ ¬Q(a) I∧ 6, 5
8 ⊥ E¬ 2, 7
9 Q(a) RAA 5− 8
10 P(x0)→ Q(a) I→ 4− 9
11 ∀x[P(x)→ Q(a)] I ∀ 3− 10
12 ⊥ E¬ 1, 11
13 ∃xP(x) ∧ ¬Q(a) RAA 2− 12
![Page 61: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/61.jpg)
José A. Alonso Jiménez 61
Ejercicio 51 Demostrar mediante deducción natural∀xP(x),∀x[P(x)→ Q(x) ∨ R(x)],∃x¬Q(x)` ∃xR(x)
Solución:
1 ∀xP(x) Premisa
2 ∀x[P(x)→ Q(x) ∨ R(x)] Premisa
3 ∃x¬Q(x) Premisa
4 parametro x0, ¬Q(x0) Supuesto
5 P(x0)→ Q(x0) ∨ R(x0) E ∀ 2, 4
6 P(x0) E ∀ 1, 4
7 Q(x0) ∨ R(x0) E→ 5, 6
8 Q(x0) Supuesto
9 ⊥ E¬ 4, 8
10 R(x0) E⊥ 9
11 R(x0) Supuesto
12 R(x0) E∨ 7, 8− 10, 11− 11
13 ∃xR(x) I ∃ 12, 4
14 ∃xR(x) E ∃ 3, 4− 13
![Page 62: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/62.jpg)
62 Ejercicios de deducción natural
Ejercicio 52 Demostrar mediante deducción natural∀x∀y[R(x, y)→ R(y, x)],∀x∀y[R(x, y) ∨ R(y, x)]` ∀x∀y∀z[¬R(x, y) ∧ ¬R(y, z)→ ¬R(x, z)]
Solución:
1 ∀x∀y[R(x, y)→ R(y, x)] Premisa
2 ∀x∀y[R(x, y) ∨ R(y, x)] Premisa
3 parametro x0 Supuesto
4 parametro y0 Supuesto
5 parametro z0 Supuesto
6 ¬R(x0, y0) ∧ ¬R(y0, z0) Supuesto
7 ∀y[R(x0, y) ∨ R(y, x0)] E ∀ 2, 3
8 R(x0, y0) ∨ R(y0, x0) E ∀ 7, 4
9 R(x0, y0) Supuesto
10 ¬R(x0, y0) E∧ 6
11 ⊥ E¬ 10, 9
12 ¬R(x0, z0) E⊥ 11
13 R(y0, x0) Supuesto
14 ∀y[R(y0, y)→ R(y, y0)] E ∀ 1, 4
15 R(y0, x0)→ R(x0, y0) E ∀ 14, 3
16 R(x0, y0) E→ 15, 13
17 ¬R(x0, y0) E∧ 6
18 ⊥ E¬ 17, 16
19 ¬R(x0, z0) E⊥ 18
20 ¬R(x0, z0) E∨ 8,9− 12, 13− 19
21 ¬R(x0, y0) ∧ ¬R(y0, z0)→ ¬R(x0, z0) I→ 6− 20
22 ∀z[¬R(x0, y0) ∧ ¬R(y0, z)→ ¬R(x0, z)] I ∀ 5− 21
23 ∀y∀z[¬R(x0, y) ∧ ¬R(y, z)→ ¬R(x0, z)] I ∀ 4− 22
24 ∀x∀y∀z[¬R(x, y) ∧ ¬R(y, z)→ ¬R(x, z)] I ∀ 3− 23
![Page 63: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/63.jpg)
José A. Alonso Jiménez 63
Ejercicio 53 Demostrar mediante deducción natural¬∀xP(x)` ∃x¬P(x)
Solución:
1 ¬(∀x)P(x) Premisa
2 ¬∃x¬P(x) Supuesto
3 parametro x0 Supuesto
4 ¬P(x0) Supuesto
5 ∃x¬P(x) I ∃ 4, 3
6 ⊥ E¬ 2, 5
7 P(x0) RAA 4− 6
8 ∀xP(x) I ∀ 3− 7
9 ⊥ E¬ 1, 8
10 ∃x¬P(x) RAA 2− 9
![Page 64: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/64.jpg)
64 Ejercicios de deducción natural
Ejercicio 54 Demostrar mediante deducción natural∀x∀y[(∃zR(y, z))→ R(x, y)],∃x∃yR(x, y)` ∀x∀yR(x, y)
Solución:
1 ∀x∀y[(∃zR(y, z))→ R(x, y)] Premisa
2 ∃x∃yR(x, y) Supuesto
3 parametro x0 Supuesto
4 parametro y0 Supuesto
5 parametro x1, ∃yR(x1, y) Supuesto
6 parametro y1, R(x1, y1) Supuesto
7 ∀y[(∃zR(y, z))→ R(x0, y)] E ∀ 1, 3
8 (∃zR(y0, z))→ R(x0, y0) E ∀ 7, 4
9 ∀y[(∃zR(y, z))→ R(y0, y)] E ∀ 1, 4
10 (∃zR(x1, z))→ R(y0, x1) E ∀ 9, 5
11 R(y0, x1) E→ 10, 5
12 ∃zR(y0, z) I ∃ 11, 5
13 R(x0, y0) E→ 8, 12
14 R(x0, y0) E ∃ 5, 6− 13
15 R(x0, y0) E ∃ 2, 5− 14
16 ∀yR(x0, y) I ∀ 4− 15
17 ∀x∀yR(x, y) I ∀ 3− 16
![Page 65: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/65.jpg)
José A. Alonso Jiménez 65
Ejercicio 55 Demostrar mediante deducción natural∃x[P(x) ∧ ¬Q(x)]→ ∀y[P(y)→ R(y)],∃x[P(x) ∧ S(x)],∀x[P(x)→ ¬R(x)]` ∃x[S(x) ∧Q(x)]
Solución:
1 ∃x[P(x) ∧ ¬Q(x)]→ ∀y[P(y)→ R(y)] Premisa
2 ∃x[P(x) ∧ S(x)] Premisa
3 ∀x[P(x)→ ¬R(x)] Premisa
4 parametro i, P(i) ∧ S(i) Supuesto
5 S(i) E∧ 4
6 ¬Q(i) Supuesto
7 P(i) E∧ 4
8 P(i) ∧ ¬Q(i) I∧ 7, 6
9 ∃x[P(x) ∧ ¬Q(x)] I ∃ 7, 6
10 ∀y[P(y)→ R(y)] E→ 1, 9
11 P(i)→ R(i) E ∀ 10, 4
12 P(i)→ ¬R(i) E ∀ 3, 4
13 R(i) E→ 11, 7
14 ¬R(i) E→ 12, 7
15 ⊥ E¬ 13, 14
16 Q(i) RAA 6− 15
17 S(i) ∧Q(i) I∧ 5, 16
18 ∃x[S(x) ∧Q(x)] I ∃ 17, 4
19 ∃x[S(x) ∧Q(x)] E ∃ 2, 4− 18
![Page 66: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/66.jpg)
66 Ejercicios de deducción natural
Ejercicio 56 Demostrar mediante deducción natural` ¬∃x∀y[P(y, x)↔ ¬P(y, y)]
Solución:
1 ∃x∀y[P(y, x)↔ ¬P(y, y)] Supuesto
2 parametro i, ∀y[P(y, i)↔ ¬P(y, y)] Supuesto
3 P(i, i)↔ ¬P(i, i) E ∀ 2
4 P(i, i) ∨ ¬P(i, i) LEM
5 P(i, i) Supuesto
6 P(i, i)→ ¬P(i, i) E↔ 3
7 ¬P(i, i) E→ 6, 5
8 ⊥ E¬ 5, 7
9 ¬P(i, i) Supuesto
10 ¬P(i, i)→ P(i, i) E↔ 3
11 P(i, i) E→ 10, 9
12 ⊥ E¬ 11, 9
13 ⊥ E∨ 4, 5− 8, 9− 12
14 ⊥ E ∃ 1, 2− 13
15 ¬∃x∀y[P(y, x)↔ ¬P(y, y)] E¬ 1− 14
![Page 67: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/67.jpg)
José A. Alonso Jiménez 67
Ejercicio 57 Demostrar mediante deducción natural∀x[∃yR(x, y)→ ∃y[∀zR(y, z) ∧ R(x, y)]],∃x∃yR(x, y)` ∃x∀yR(x, y)
Solución:
1 ∀x[∃yR(x, y)→ ∃y[∀z.R(y, z) ∧ R(x, y)]] Premisa
2 ∃x∃yR(x, y) Premisa
3 parametro x0, ∃yR(x0, y) Supuesto
4 ∃yR(x0, y)→ ∃y[∀zR(y, z) ∧ R(x0, y)] E ∀ 1, 2
5 ∃y∀zR(y, z) ∧ R(x0, y)) E→ 4, 2
6 parametro y0, ∀zR(y0, z) ∧ R(x0, y0) Supuesto
7 ∀zR(y0, z) E∧ 6
8 ∃x∀yR(x, y) I ∃ 7
9 ∃x∀yR(x, y) E ∃ 6− 8
10 ∃x∀yR(x, y) E ∃ 2, 3− 9
![Page 68: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/68.jpg)
68 Ejercicios de deducción natural
Ejercicio 58 Demostrar mediante deducción natural∀x[P(x)→ ∀y[Q(y)→ R(x, y)]],∃x[P(x) ∧ ∃y¬R(x, y)]` ¬∀xQ(x)
Solución:
1 ∀x[P(x)→ ∀y[Q(y)→ R(x, y)]] Premisa
2 ∃x[P(x) ∧ ∃y¬R(x, y)] Premisa
3 ∀xQ(x) Supuesto
4 parametro x0, P(x0) ∧ ∃y¬R(x0, y) Supuesto
5 ∃y¬R(x0, y) E∧ 4
6 parametro y0, ¬R(x0, y0) Supuesto
7 P(x0)→ ∀y[Q(y)→ R(x0, y)] E ∀ 1, 4
8 P(x0) E∧ 4
9 ∀y[Q(y)→ R(x0, y)] E→ 7, 8
10 Q(y0)→ R(x0, y0) E ∀ 9, 6
11 Q(y0) E ∀ 3, 6
12 R(x0, y0) E→ 10, 11
13 ⊥ E¬ 5, 12
14 ⊥ E ∃ 5, 6− 13
15 ⊥ E ∃ 2, 4− 14
16 ¬∀xQ(x) I¬ 3− 15
![Page 69: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/69.jpg)
José A. Alonso Jiménez 69
Ejercicio 59 Demostrar mediante deducción natural∃x[P(x)→ ∀yQ(y)]` ∃x∀y[P(x)→ Q(y)]
Solución:
1 ∃x[P(x)→ ∀yQ(y)] Premisa
2 parametro x0, P(x0)→ ∀yQ(y) Supuesto
3 parametro y0 Supuesto
4 P(x0) Supuesto
5 ∀yQ(y) E→ 2, 4
6 Q(y0) E ∀ 5, 3
7 P(x0)→ Q(y0) I→ 4− 6
8 ∀y[P(x0)→ Q(y)] I ∀ 3− 7
9 ∃x∀y[P(x)→ Q(y)] I ∃ 8, 2
10 ∃x∀y[P(x)→ Q(y)] E ∃ 1, 2− 9
![Page 70: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/70.jpg)
70 Ejercicios de deducción natural
Ejercicio 60 Demostrar mediante deducción natural∃y∃z[∀x¬R(x, y) ∨ ∀x¬R(x, z)]` ¬∀y∀z∃x[R(x, y) ∧ R(x, z)]
Solución:
1 ∃y∃z[∀x¬R(x, y) ∨ ∀x¬R(x, z)] Premisa
2 ∀y∀z∃x[R(x, y) ∧ R(x, z)] Supuesto
3 parametro y0, ∃z[∀x¬R(x, y0) ∨ ∀x¬R(x, z)] Supuesto
4 parametro z0, ∀x¬R(x, y0) ∨ ∀x¬R(x, z0) Supuesto
5 ∀x¬R(x, y0) Supuesto
6 ∀z∃x[R(x, y0) ∧ R(x, z)] E ∀ 2, 3
7 ∃x[R(x, y0) ∧ R(x, y0)] E ∀ 6, 3
8 parametro x1, R(x1, y0) ∧ R(x1, y0) Supuesto
9 ¬R(x1, y0) E ∀ 5, 8
10 R(x1, y0) E∧ 8
11 ⊥ E¬ 9, 10
12 ⊥ E ∃ 7,8− 11
13 ∀x¬R(x, z0) Supuesto
14 ∀z∃x[R(x, y0) ∧ R(x, z)] E ∀ 2, 4
15 ∃x[R(x, y0) ∧ R(x, z0)] E ∀ 14, 3
16 parametro x2, R(x2, y0) ∧ R(x2, z0) Supuesto
17 R(x2, y0) E∧ 16
18 ¬R(x2, y0) E ∀ 13, 16
19 ⊥ E¬ 17, 18
20 ⊥ E ∃ 15, 16− 19
21 ⊥ E∨ 4, 5− 12, 13− 20
22 ⊥ E ∃ 3, 4− 21
23 ⊥ E ∃ 1, 3− 22
24 ¬∀y∀z∃x[R(x, y) ∧ R(x, z)] I¬ 2− 23
![Page 71: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/71.jpg)
José A. Alonso Jiménez 71
Ejercicio 61 Demostrar mediante deducción natural∃x[P(x)→ ∀y[P(y)→ Q(y)]],¬∃xQ(x)` ¬∀xP(x)
Solución:
1 ∃x[P(x)→ ∀y[P(y)→ Q(y)]] Premisa
2 ¬∃xQ(x) Premisa
3 ∀xP(x) Supuesto
4 parametro x0, P(x0)→ ∀y[P(y)→ Q(y)] Supuesto
5 P(x0) E ∀ 3, 4
6 ∀y[P(y)→ Q(y)] E→ 4, 5
7 P(x0)→ Q(x0) E ∀ 6, 4
8 Q(x0) E→ 5, 7
9 ∃xQ(x) I ∃ 8, 4
10 ⊥ E¬ 2, 9
11 ⊥ E ∃ 1, 4− 10
12 ¬∀xP(x) I¬ 3− 11
![Page 72: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/72.jpg)
72 Ejercicios de deducción natural
Ejercicio 62 Demostrar mediante deducción natural¬∃x[P(x) ∧ ¬∀y[Q(y)→ R(x, y)]],∃x[P(x) ∧ ∃y¬R(x, y)]` ∃x¬Q(x)
Solución:
1 ¬∃x[P(x) ∧ ¬∀y[Q(y)→ R(x, y)]] Premisa
2 ∃x[P(x) ∧ ∃y¬R(x, y)] Premisa
3 parametro x0, P(x0) ∧ ∃y¬R(x0, y) Supuesto
4 ∃y¬R(x0, y) E∧ 3
5 parametro y0, ¬R(x0, y0) Supuesto
6 Q(y0) Supuesto
7 P(x0) E∧ 3
8 ∀y[Q(y)→ R(x0, y)] Supuesto
9 Q(y0)→ R(x0, y0) E ∀ 8, 5
10 ¬Q(y0) MT 9, 5
11 ⊥ E¬ 10, 6
12 ¬∀y[Q(y)→ R(x0, y)] I¬ 8− 11
13 P(x0) ∧ ¬∀y[Q(y)→ R(x0, y)] I∧ 7, 12
14 ⊥ E¬ 1, 14
15 ¬Q(y0) I¬ 6− 15
16 ∃x¬Q(x) I ∃ 16, 5
17 ∃x¬Q(x) E ∃ 4, 5− 17
18 ∃x¬Q(x) E ∃ 2, 3− 18
![Page 73: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/73.jpg)
José A. Alonso Jiménez 73
Ejercicio 63 Demostrar mediante deducción natural∀x∀y[∃z[R(z, y) ∧ ¬R(x, z)]→ R(x, y)],¬∃xR(x, x)` ∀x∀y[¬R(y, x)→ ¬R(x, y)]
Solución:
1 ∀x∀y[∃z[R(z, y) ∧ ¬R(x, z)]→ R(x, y)] Premisa
2 ¬∃xR(x, x) Premisa
3 parametro x0 Supuesto
4 parametro y0 Supuesto
5 ¬R(y0, x0) Supuesto
6 R(x0, y0) Supuesto
7 ∀y[∃z[R(z, y) ∧ ¬R(y0, z)]→ R(y0, y)] E ∀ 1, 4
8 ∃z[R(z, y0) ∧ ¬R(y0, z)]→ R(y0, y0) E ∀ 7, 4
9 R(x0, y0) ∧ ¬R(y0, x0) I∧ 6, 5
10 ∃z[R(z, y0) ∧ ¬R(y0, z)] I ∃ 9, 3
11 R(y0, y0) E→ 8, 10
12 ∃xR(x, x) I ∃ 11, 4
13 ⊥ E¬ 2, 12
14 ¬R(x0, y0) I¬ 6− 13
15 ¬R(y0, x0)→ ¬R(x0, y0) I→ 5− 14
16 ∀y[¬R(y, x0)→ ¬R(x0, y)] I ∀ 4− 15
17 ∀x∀y[¬R(y, x)→ ¬R(x, y)] I ∀ 3− 16
![Page 74: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/74.jpg)
74 Ejercicios de deducción natural
Ejercicio 64 Demostrar mediante deducción naturalP(a)→ ¬∀x¬R(x),` ¬∀x[¬R(x) ∧ P(a)]
Solución:
1 P(a)→ ¬∀x¬R(x) Premisa
2 parametro b Premisa
3 ∀x[¬R(x) ∧ P(a)] Supuesto
4 ¬R(b) ∧ P(a) E ∀ 3, 2
5 P(a) E∧ 4
6 ¬∀x¬R(x) E→ 1, 5
7 parametro x0 Supuesto
8 ¬R(x0) ∧ P(a) E ∀ 3, 7
9 ¬R(x0) E∧ 8
10 ∀x¬R(x) I ∀ 5− 8
11 ⊥ E¬ 4, 10
12 ¬∀x[¬R(x) ∧ P(a)] I¬ 3− 11
![Page 75: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/75.jpg)
José A. Alonso Jiménez 75
Ejercicio 65 Demostrar mediante deducción natural∀x∀y∀z[P(x, y) ∧ P(y, z)→ R(x, z)],∀x∃yP(x, y)` ∀x∃yR(x, y)
Solución:
1 ∀x∀y∀z[P(x, y) ∧ P(y, z)→ R(x, z)] Premisa
2 ∀x∃yP(x, y) Premisa
3 parametro x0 Supuesto
4 ∃yP(x0, y) E ∀ 2, 3
5 parametro y0, P(x0, y0) Supuesto
6 ∃yP(y0, y) E ∀ 2,5
7 parametro y1, P(y0, y1) Supuesto
8 ∀y∀z[P(x0, y) ∧ P(y, z)→ R(x0, z)] E ∀ 1, 3
9 ∀z[P(x0, y0) ∧ P(y0, z)→ R(x0, z)] E ∀ 8, 5
10 P(x0, y0) ∧ P(y0, y1)→ R(x0, y1) E ∀ 9, 7
11 P(x0, y0) ∧ P(y0, y1) I∧ 5, 7
12 R(x0, y1) E→ 10, 11
13 ∃yR(x0, y) I ∃ 12, 7
14 ∃yR(x0, y) E ∃ 6, 7− 13
15 ∃yR(x0, y) E ∃ 4, 5− 14
16 ∀x∃yR(x, y) I ∀ 3− 15
![Page 76: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/76.jpg)
76 Ejercicios de deducción natural
Ejercicio 66 Demostrar mediante deducción natural∀x[P(x)→ (∃yQ(x, y)→ ∃yQ(y, x))],∀x[∃yQ(y, x)→ Q(x, x)],¬∃xQ(x, x)` ∀x[P(x)→ ∀y¬Q(x, y)]
Solución:
1 ∀x[P(x)→ (∃yQ(x, y)→ ∃yQ(y, x))] Premisa
2 ∀x[∃yQ(y, x)→ Q(x, x)] Premisa
3 ¬∃xQ(x, x) Premisa
4 parametro x0 Supuesto
5 P(x0) Supuesto
6 parametro y0 Supuesto
7 Q(x0, y0) Supuesto
8 ∃yQ(y, y0)→ Q(y0, y0) E ∀ 2, 6
9 ∃yQ(y, y0) I ∃ 7, 4
10 Q(y0, y0) E→ 8,9
11 ∃xQ(x, x) I ∃ 10, 6
12 ⊥ E¬ 3, 11
13 ¬Q(x0, y0) I¬ 7− 12
14 ∀y¬Q(x0, y) I ∀ 6− 13
15 P(x0)→ ∀y¬Q(x0, y) I→ 5− 14
16 ∀x[P(x)→ ∀y¬Q(x, y)] I ∀ 4− 15
![Page 77: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/77.jpg)
José A. Alonso Jiménez 77
Ejercicio 67 Demostrar mediante deducción natural∀x[Q(x)→ ¬R(x)],∀x[P(x)→ Q(x) ∨ S(x)],∃x[P(x) ∧ R(x)]` ∃x[P(x) ∧ S(x)]
Solución:
1 ∀x[Q(x)→ ¬R(x)] Supuesto
2 ∀x[P(x)→ Q(x) ∨ S(x)] Supuesto
3 ∃x[P(x) ∧ R(x)] Supuesto
4 parametro x0 Supuesto
5 P(x0) ∧ R(x0) Supuesto
6 P(x0)→ Q(x0) ∨ S(x0) E ∀ 2
7 P(x0) E∧ 5
8 Q(x0) ∨ S(x0) E→ 6, 7
9 Q(x0) Supuesto
10 Q(x0)→ ¬R(x0) E ∀ 1, 4
11 ¬R(x0) E→ 10, 9
12 R(x0) E∧ 5
13 ⊥ E¬ 11, 12
14 S(x0) E⊥ 13
15 P(x0) ∧ S(x0) I∧ 7, 14
16 ∃x[P(x) ∧ S(x)] I ∃ 15, 4
17 S(x0) Supuesto
18 P(x0) ∧ S(x0) I∧ 7, 17
19 ∃x[P(x) ∧ S(x)] I ∃ 18, 4
20 ∃x[P(x) ∧ S(x)] E∨ 8, 9− 16, 17− 19
21 ∃x[P(x) ∧ S(x)] E ∃ 3, 4− 20
![Page 78: Ejercicios de deducción natural · 2011. 5. 20. · Ejercicios de deducción natural José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación](https://reader036.vdocuments.co/reader036/viewer/2022062417/6140a1e02e263e64232a3031/html5/thumbnails/78.jpg)
78 Ejercicios de deducción natural
Ejercicio 68 Demostrar mediante deducción natural∀x[P(x)→ (R(x)→ S(x))],∃x[P(x) ∨ ¬R(x)]` ∃x[R(x)→ S(x)]
Solución:
1 ∀x[P(x)→ (R(x)→ S(x))] Premisa
2 ∃x[P(x) ∨ ¬R(x)] Premisa
3 parametro x0, P(x0) ∨ ¬R(x0) Supuesto
4 P(x0) Supuesto
5 P(x0)→ (R(x0)→ S(x0)) E ∀ 1
6 R(x0)→ S(x0) E→ 5, 4
7 ¬R(x0) Supuesto
8 R(x0) Supuesto
9 ⊥ E¬ 7, 8
10 S(x0) E⊥ 9
11 R(x0)→ S(x0) I→ 8− 10
12 R(x0)→ S(x0) E∨ 3, 4− 6, 7− 11
13 ∃x[R(x)→ S(x)] I ∃ 12
14 ∃x[R(x)→ S(x)] E ∃ 2, 3− 13