1
00:00:00,300 --> 00:00:08,400
Para realizar este ejercicio de lógica sobre deducción natural, hemos de ver primero qué es lo que me pide el ejercicio, es decir, a dónde tengo que llegar.

2
00:00:08,699 --> 00:00:16,839
Lo que tengo que llegar es a una implicación. ¿Qué es lo que hay que hacer según la norma que vimos para introducir una implicación?

3
00:00:17,179 --> 00:00:23,399
Pues en primer lugar he de suponer el antecedente, con lo cual en mi paso 3 supongo S.

4
00:00:23,399 --> 00:00:40,460
S. Hay que llegar a la Q. ¿Dónde tengo la Q? Pues la Q la tengo en mi segunda premisa, unión W, y para ello, para llegar a este consecuente, tengo que tener la T, la T la tengo en el consecuente de mi primera premisa, y para llegar aquí, tengo que llegar a la S.

5
00:00:40,460 --> 00:00:53,979
La S ya la tengo porque la he supuesto, con lo cual en mi paso 4 lo que voy a hacer es afirmar P y T por eliminación de la implicación en 1 y en 3.

6
00:00:54,240 --> 00:00:56,799
Voy a borrar esto que me ha quedado un poco mal.

7
00:00:58,259 --> 00:01:01,000
Bien, 1 y 3.

8
00:01:01,600 --> 00:01:08,060
¿Por qué? Porque para eliminar esta implicación, únicamente si tengo el consecuente, si tengo el antecedente,

9
00:01:08,060 --> 00:01:11,420
puedo quitar la implicación y obtener el consecuente

10
00:01:11,420 --> 00:01:14,760
Bien, el 5, una vez que tengo la P y la T

11
00:01:14,760 --> 00:01:16,219
lo que me interesa es la T

12
00:01:16,219 --> 00:01:18,280
y la puedo quitar por la norma

13
00:01:18,280 --> 00:01:21,480
con lo cual pongo T por eliminación del conjuntor en 4

14
00:01:21,480 --> 00:01:24,280
porque sabemos que si tenemos una conjunción

15
00:01:24,280 --> 00:01:26,519
podemos quitar cualquiera de sus elementos

16
00:01:26,519 --> 00:01:29,159
En el paso 6 ya tengo el T

17
00:01:29,159 --> 00:01:31,659
que es la T que es el antecedente de la segunda premisa

18
00:01:31,659 --> 00:01:34,560
con lo cual voy a firmar W y Q

19
00:01:34,560 --> 00:01:40,299
Por eliminación de la implicación en 2 y en 5, que es donde está el antecedente

20
00:01:40,299 --> 00:01:43,700
En mi paso 7, pues ya lo tengo hecho, ¿no?

21
00:01:43,700 --> 00:01:51,340
Porque tengo la Q por eliminación de la conjunción en el conjuntor, perdón, en la premisa 6

22
00:01:51,340 --> 00:01:55,640
Ya tengo la Q, con lo cual lo que voy a hacer es cerrar mi cajita de supuesto

23
00:01:55,640 --> 00:02:05,519
y en el paso 8 voy a firmar S, entonces Q, por introducción de la implicación del 3 al 7.

24
00:02:05,659 --> 00:02:10,819
Y al ser una caja de supuesto, no tengo que poner individualmente los pasos y lo pongo de 3 al 7.