Saltar navegación

Activa JavaScript para disfrutar de los vídeos de la Mediateca.

FILO T.9 Lógica. Describir la forma lógica - Contenido educativo

Ajuste de pantalla

El ajuste de pantalla se aprecia al ver el vídeo en pantalla completa. Elige la presentación que más te guste:

Subido el 18 de noviembre de 2024 por Garikoitz G.

11 visualizaciones

Describir forma lógica

Más información Transcripción

Descargar la transcripción

Hola, en este vídeo voy a tratar de explicaros un poco algunos de los ejercicios que tenéis que hacer de lógica. 00:00:00
Como sabéis, en el tema de lógica proposicional, más allá de lo que ya habéis visto de la teoría, 00:00:08
lo que os voy a pedir son resolver una serie de ejercicios. 00:00:16
Desde los más sencillos, donde sobre todo os estoy examinando sobre el propio lenguaje, 00:00:19
sobre si conocéis los símbolos, sobre si entendéis los conceptos básicos, hasta ya ponernos en acción, formalizar, es decir, un enunciado, una argumentación normal, una oración argumentativa normal, 00:00:26
traducirlo al lenguaje formal de la lógica proposicional 00:00:42
y luego más adelante, una vez que ya tenemos formalizados estos enunciados 00:00:46
pues comprobar si se trata de enunciados consistentes lógicamente 00:00:51
si son enunciados contradictorios, si son verdades evidentes en sí mismas 00:00:57
es decir, hacer un análisis lógico a la vez primero del método de las tablas de verdad 00:01:02
que es el que estudiaremos más 00:01:06
y luego el que es algo más complicado pero es el más interesante 00:01:08
que sería el cálculo natural. Son esos cuatro ejercicios. 00:01:11
Empezamos con el primero y vamos a ir directamente a la hoja que tenéis de ejercicios. 00:01:16
La primera hoja que sería hasta la parte de las tablas de verdad. 00:01:22
El primer ejercicio, el más básico, sería simplemente describir la forma lógica de una proposición. 00:01:27
Ya habéis estudiado los signos lógicos, ya habéis estudiado a qué corresponde cada cosa 00:01:34
y ahora se trata de que seáis capaces de describirlo en lenguaje normal, que es lo que tenemos aquí delante. 00:01:39
Por ejemplo, vamos con esta primera expresión. 00:01:44
Tenemos aquí una P, una V, un signo raro y una Q. 00:01:48
Como ya habéis estudiado, y seguro que tenéis impresos y a mano los símbolos lógicos, 00:01:54
sabéis que esta, la P y la Q, corresponden a proposiciones. 00:01:59
¿Qué es eso de una proposición? 00:02:06
Pues ya sabemos que una proposición es lo mismo que un enunciado que una oración. 00:02:07
Entonces, la P, por ejemplo, podría ser la oración llueve. 00:02:11
Es una oración más corta, ¿no? 00:02:16
Si es que lo único que necesitamos es que tenga un verbo. 00:02:18
A veces ni siquiera tiene un verbo porque lo tiene oculto, 00:02:20
pero, vamos, lo que representa P es algo que sucede en la realidad. 00:02:23
Llueve. 00:02:28
Perdón. 00:02:29
Está lloviendo. 00:02:31
¿Y qué significa Q? 00:02:33
No lo sabemos, pero podría significar hace frío. 00:02:34
Estamos describiendo simplemente hechos en el mundo. 00:02:39
Sabemos que lo que no puede significar es una pregunta. 00:02:43
No puede ser hace frío, tampoco puede ser un sentimiento de ánimo. 00:02:45
¿Cuántas ganas de comer tengo? 00:02:51
No, sino que son descripciones de hechos. 00:02:53
Vale, así que cada letra, que es lo que llamamos proposición, 00:02:56
describe un estado de hechos en el mundo. 00:03:01
Y cuando hay una letrita así suelta, simplemente una letra, se trata de una proposición atómica. 00:03:04
Pero claro, los hechos en la realidad no van sueltos, sino que van unidos. 00:03:11
Por ejemplo, podría decir, hace frío y llueve. 00:03:15
Bueno, ahí ya tenemos dos hechos unidos por un I. 00:03:19
Ese I, en terminología lógica, se llama conector. 00:03:22
Concretamente sería el conector llamado conjuntiva o conjuntor. 00:03:27
si dijera sin embargo 00:03:31
hace frío o llueve 00:03:34
ya hemos cambiado el i por un no 00:03:36
y estaríamos con un disyuntor 00:03:38
y eso también tiene una expresión 00:03:39
lógica particular 00:03:42
y sobre todo como ya no decimos 00:03:43
solo de forma aislada hace frío 00:03:46
o solo de forma aislada llueve 00:03:48
ya no estamos ante una proposición atómica 00:03:50
estamos ante un hecho aislado 00:03:52
sino que cuando se juntan varios átomos 00:03:54
que es lo que tenemos, una molécula 00:03:56
es aquí igual, una proposición molecular 00:03:58
Vale, pues esto es lo que tenemos aquí en esta primera expresión 00:04:00
Y es justo lo primero que tenemos que decir 00:04:03
Dado que hemos visto que esto no es una letra suelta 00:04:05
No es una proposición atómica 00:04:07
Por lo tanto es una proposición molecular 00:04:09
Y es justo lo que describimos, ¿no? 00:04:11
Es una proposición molecular 00:04:13
Y a la hora de ver qué tipo de proposiciones moleculares existen 00:04:15
Pues lo que tenemos que buscar es la conectiva 00:04:21
Y la conectiva aquí en realidad solo va a ser esta 00:04:24
Bueno, hombre, pero tenemos aquí este otro signo 00:04:27
Bueno, pues si buscamos a qué corresponden estos signos, sabemos que esto corresponde al disyuntor y esto al negador. 00:04:29
Y el negador, aunque lo estudiamos con las conectivas, en realidad no es una conectiva, porque no te conecta a dos proposiciones. 00:04:37
El negador lo único que dice es no llueve o no hace frío. 00:04:44
Pero no te conecta un llueve con el hace frío, sino que cambia el valor de verdad de la proposición atómica junto a la que se encuentra. 00:04:49
Es decir, nosotros no podríamos hacer una proposición molecular simplemente con P, con el negador y con Q, ¿vale? 00:04:59
Porque no habríamos podido unir P y Q. 00:05:07
Y, sin embargo, nos encontramos con esta otra conectiva. 00:05:09
¿Y cómo se llama esta conectiva? 00:05:14
Disyuntor, ¿vale? 00:05:16
Entonces, ¿esto cómo lo leeríamos? 00:05:18
Lo leeríamos P disyuntor no Q, o si queréis, incluso P o no Q. 00:05:20
¿Y cómo lo describimos? 00:05:26
Como os lo hemos dicho antes, es una proposición molecular. 00:05:27
¿De qué tipo? 00:05:29
Disyuntiva. 00:05:32
¿O qué es una disyunción? 00:05:33
Y ahora tenemos que decir por qué está formada. 00:05:35
Bueno, pues está formada por dos proposiciones atómicas distintas. 00:05:37
¿Vale? 00:05:42
Porque no son P o no P. 00:05:42
Podría ser la misma proposición atómica. 00:05:44
Y también tendríamos que describir algo más, que es esta negación. 00:05:47
¿Y qué es lo que nos dice esto? 00:05:50
Que la segunda proposición atómica está negada. 00:05:51
¿Vale? 00:05:56
O es una negación de una proposición atómica, ¿vale? 00:05:56
Yo, una proposición es una negación, diría más bien que es la negación de una proposición atómica, ¿vale? 00:06:00
Cambiaría esto un poco. 00:06:06
Muy bien, yo creo que está aquí claro, ¿no? 00:06:08
Bueno, pues vamos ahora con el segundo ejemplo, ¿vale? 00:06:10
Y para esto que está un poco... 00:06:16
El segundo ejemplo es un poquito más complicado, bueno, bastante más complicado. 00:06:17
Primero porque nos encontramos aquí 00:06:22
No una y dos letras 00:06:25
Sino tres 00:06:28
Pero bueno, eso tampoco tendría que ser muy complicado 00:06:28
Luego porque nos encontramos varios negadores 00:06:31
Uno aquí, otro aquí 00:06:36
Y luego porque sobre todo 00:06:37
Nos encontraremos varias 00:06:39
Conectivas 00:06:41
Claro, a la hora de decir 00:06:43
Que todo está claro que es una proposición molecular 00:06:45
Pero esta proposición 00:06:48
Molecular 00:06:50
que es esta conectiva o esta conectiva 00:06:51
por cierto, esta conectiva se llama condicional 00:06:57
y esta conectiva se llama conjuntor 00:07:00
que es más importante aquí, el conjuntor o el condicional 00:07:03
como habéis estudiado en los apuntes 00:07:06
siempre es más importante la que está fuera de los paréntesis 00:07:08
porque en realidad todo esto se une con esto 00:07:11
y aquí es esta conectiva 00:07:14
la que determina cómo está organizada esa molécula 00:07:17
En realidad sería como una proposición molecular que engloba dentro otra proposición molecular, ¿vale? 00:07:20
Pero lo que hay que ver es cuál es la proposición molecular más grande. 00:07:28
La más grande es la que está fuera del paréntesis. 00:07:31
De este modo, ¿qué diríamos? Esto es una proposición molecular de tipo conjuntivo, una conjunción, 00:07:34
formada, pues, por una proposición atómica, que la tenemos aquí. 00:07:41
Y nos da lo mismo aquí decir que está delante o está detrás porque es una conjunción. 00:07:45
En la conjunción el orden de factores no altera el producto. 00:07:50
Sería diferente si fuera una condicional. 00:07:53
Aquí digamos no. 00:07:57
Pero bueno, ahora veremos qué pasa con el condicional. 00:07:58
Pues está formado por una proposición atómica y por otra molecular. 00:08:00
Pero fijaros que toda esta proposición molecular, lo que está entre paréntesis, tiene fuera un negador. 00:08:08
Por tanto, está formado por una proposición atómica y la negación de una proposición molecular de tipo condicional y ahora atención, donde el antecedente es la negación de una proposición atómica y el consecuente otra proposición atómica distinta. 00:08:14
En el condicional, igual que en el bicondicional 00:08:36
Ya no simplemente decimos que esa proposición molecular está formada por estas dos proposiciones atómicas 00:08:41
Sino que es muy importante el orden 00:08:46
Porque cambia completamente el resultado y la expresión 00:08:49
Entonces, en este condicional 00:08:53
El antecedente, lo que viene primero, la causa por decirlo de algún modo 00:08:57
Sería la negación de una proposición atómica 00:09:01
Y el consecuente sería otra proposición atómica distinta. 00:09:05
Vamos a poner un ejemplo concreto, que nosotros lo entendemos, esto es muy formal, ¿no? 00:09:09
Vamos a ver a partir de un ejemplo concreto. 00:09:14
Si pongo, si llueve, me mojo. 00:09:17
Llueve va a ser la proposición atómica a la que llamaremos P. 00:09:22
Y me mojo sería Q. 00:09:28
¿Cuál sería la expresión molecular que saldría? 00:09:32
Pues, si llueve, me mojo 00:09:39
¿Vale? 00:09:42
Esto sería llueve 00:09:44
Y esto sería me mojo 00:09:45
Ahora imaginaos que cambio la expresión 00:09:47
En lugar de poner si llueve me mojo 00:09:49
Pongo me mojo si llueve 00:09:51
Ahora me mojo sería P 00:09:56
Lo que antes era Q 00:09:59
y llueve sería Q, ¿vale? 00:10:02
¿Por qué? Porque es lo primero que me encuentro en una oración. 00:10:07
Digo, ah, pues entonces es lo mismo, ¿no? 00:10:09
P, entonces, Q. 00:10:10
Pero fijaros lo que he dicho ahora. 00:10:13
He dicho que si me mojo, entonces llueve. 00:10:15
Es absurdo, ¿verdad? 00:10:20
Claro, por eso tenemos que tener siempre en cuenta 00:10:22
cómo aparece en la oración, 00:10:25
porque en la oración no siempre aparece en el orden lógico, ¿vale? 00:10:27
En ese caso, la expresión correcta sería Q, condicional, P. 00:10:30
Porque, ¿qué es lo primero que ocurre? ¿Que me mojo o que llueve? 00:10:38
Lo primero que ocurre es que llueve. 00:10:41
Y llueve era lo que aparecía lo segundo en la oración. 00:10:44
Q. Luego, condicional, P. 00:10:47
¿Vale? Yo creo que esto es importante, este apunte que he dado. 00:10:50
Y bueno, que lo tengáis en cuenta de cara a la hora de entender bien cómo se construyen las expresiones. 00:10:53
Bueno, en este vídeo nos quedamos entonces únicamente con este primer ejercicio de describir la forma lógica. 00:11:04
Os he puesto estos dos ejemplos que son justo los que os explico aquí. 00:11:10
Y ahora, bueno, pues tienes aquí un montón de ejercicios, pero yo creo que esto queda claro, ¿no? 00:11:14
Esto es una proposición atómica. 00:11:17
Esto ya es una proposición molecular. ¿De qué tipo? 00:11:19
de tipo conjuntivo 00:11:21
y esto, una proposición molecular de tipo disyuntivo 00:11:23
aquí ya tenemos una expresión un poco más complicada 00:11:26
pero ¿cuál es la conectiva que está fuera del paréntesis? 00:11:29
esta, pues ya lo tenemos muy claro 00:11:34
es una proposición molecular de tipo conjuntivo 00:11:35
formada por una atómica y otra proposición molecular de tipo disyuntivo 00:11:38
y bueno, en estas primeras expresiones 00:11:42
todo va a ser bastante fácil porque fijaros que no se ha metido 00:11:45
ningún condicional, que es lo que lo pone 00:11:48
todo un poquito más distinto 00:11:51
pero ya en los bicondicionales 00:11:52
también tenemos que el orden de antecedentes y 00:11:55
consecuentes, en realidad 00:11:56
en última instancia tampoco es tan importante 00:11:58
porque tampoco cambia 00:12:00
digamos el orden de factores 00:12:02
lo que nos va a salir, pero bueno, de momento 00:12:04
vamos a funcionar así 00:12:06
más adelante os pediré otras 00:12:07
descripciones de las formas lógicas 00:12:10
donde sí que van a entrar 00:12:12
condicionales y ya tenéis que tener 00:12:14
teniendo en cuenta el tema del orden. 00:12:16
La siguiente clase ya será formalizar las oraciones. 00:12:19
Y ahí ya vamos a aplicar un poco esto que os he explicado al final 00:12:23
y que tenía un poquito más de dificultad. 00:12:28
Bueno, pues espero que esta clase os haya servido 00:12:32
y en breve os grabo otra con el siguiente ejercicio, 00:12:34
el de formalización de la formulación. 00:12:38
Materias:
Filosofía
Niveles educativos:
▼ Mostrar / ocultar niveles
  • Educación de personas adultas
    • Bachillerato adultos y distancia
      • Primer Curso
Subido por:
Garikoitz G.
Licencia:
Reconocimiento
Visualizaciones:
11
Fecha:
18 de noviembre de 2024 - 11:26
Visibilidad:
Público
Centro:
IES NTRA. SRA. DE LA ALMUDENA
Duración:
12′ 42″
Relación de aspecto:
1.34:1
Resolución:
1436x1072 píxeles
Tamaño:
36.94 MBytes

Del mismo autor…

Ver más del mismo autor

EducaMadrid, Plataforma Educativa de la Comunidad de Madrid

Plataforma Educativa EducaMadrid