0
00:00:00,000 --> 00:00:06,000
Me habéis pedido que resuelva este ejercicio por reducción al absurdo, por lo tanto tendremos

1
00:00:06,000 --> 00:00:15,000
que empezar a suponer lo contrario de la conclusión, es decir, si la conclusión es NO P empezamos

2
00:00:15,000 --> 00:00:25,000
suponiendo lo contrario P. Vamos a buscar luego una contradicción, una cosa y su contrario.

3
00:00:25,000 --> 00:00:32,000
Por lo que nos lleva a contradicción tendremos que negarlo, obteniendo de esa forma la conclusión

4
00:00:32,000 --> 00:00:39,000
que queremos encontrar. Por lo tanto, siguiendo este esquema, paso 5, empezamos a suponer

5
00:00:39,000 --> 00:00:46,000
P. ¿Qué podemos hacer con esta P? Miramos la premisa 1 y vemos que por la regla de modus

6
00:00:46,000 --> 00:00:55,000
ponens entre 1 y 5 podemos deducir Q. En el paso 7, cuando ya tenemos la Q, vemos que

7
00:00:55,000 --> 00:01:08,000
otra vez usando modus ponens podemos obtener NO R entre 2 y 6. Una vez que tenemos NO R

8
00:01:08,000 --> 00:01:18,000
nos fijamos en 3 y en 7 y en 8, deducimos S y T, también por la regla de modus ponens

9
00:01:18,000 --> 00:01:30,000
entre 3 y 7. En el paso 9 necesitamos despejar esa S porque nos damos cuenta de que si por

10
00:01:30,000 --> 00:01:40,000
un lado tenemos S y en 4 tenemos NO S, ya tenemos la contradicción que estamos buscando.

11
00:01:40,000 --> 00:01:47,000
Para ello, aplicamos la regla en el paso 9 de eliminación de la conjunción y en el

12
00:01:47,000 --> 00:01:54,000
paso 10 de introducción de la conjunción entre 4 y 9. Una vez que tenemos esa contradicción

13
00:01:54,000 --> 00:02:02,000
que buscamos, cerramos el supuesto que hemos empezado en 5 y en 11 decimos que esa P es

14
00:02:02,000 --> 00:02:11,000
imposible, no se puede dar P porque es absurdo como nos lo demuestran los pasos entre 5 y 10.

15
00:02:11,000 --> 00:02:14,000
Y ya tenemos hecho nuestro ejercicio.