Tarea 3 Vídeo con subtítulos - Contenido educativo
Ajuste de pantallaEl ajuste de pantalla se aprecia al ver el vídeo en pantalla completa. Elige la presentación que más te guste:
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.
00:00:00
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?
00:00:08
Pues en primer lugar he de suponer el antecedente, con lo cual en mi paso 3 supongo S.
00:00:17
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.
00:00:23
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.
00:00:40
Voy a borrar esto que me ha quedado un poco mal.
00:00:54
Bien, 1 y 3.
00:00:58
¿Por qué? Porque para eliminar esta implicación, únicamente si tengo el consecuente, si tengo el antecedente,
00:01:01
puedo quitar la implicación y obtener el consecuente
00:01:08
Bien, el 5, una vez que tengo la P y la T
00:01:11
lo que me interesa es la T
00:01:14
y la puedo quitar por la norma
00:01:16
con lo cual pongo T por eliminación del conjuntor en 4
00:01:18
porque sabemos que si tenemos una conjunción
00:01:21
podemos quitar cualquiera de sus elementos
00:01:24
En el paso 6 ya tengo el T
00:01:26
que es la T que es el antecedente de la segunda premisa
00:01:29
con lo cual voy a firmar W y Q
00:01:31
Por eliminación de la implicación en 2 y en 5, que es donde está el antecedente
00:01:34
En mi paso 7, pues ya lo tengo hecho, ¿no?
00:01:40
Porque tengo la Q por eliminación de la conjunción en el conjuntor, perdón, en la premisa 6
00:01:43
Ya tengo la Q, con lo cual lo que voy a hacer es cerrar mi cajita de supuesto
00:01:51
y en el paso 8 voy a firmar S, entonces Q, por introducción de la implicación del 3 al 7.
00:01:55
Y al ser una caja de supuesto, no tengo que poner individualmente los pasos y lo pongo de 3 al 7.
00:02:05
- Subido por:
- Alba S.
- Licencia:
- Dominio público
- Visualizaciones:
- 9
- Fecha:
- 13 de junio de 2023 - 17:54
- Visibilidad:
- Clave
- Centro:
- CPR INF-PRI-SEC RAIMUNDO LULIO
- Duración:
- 02′ 12″
- Relación de aspecto:
- 1.00:1
- Resolución:
- 1080x1080 píxeles
- Tamaño:
- 4.41 MBytes