Este documento explica el método del condicional asociado para determinar si una forma deductiva es válida. Primero, se identifican las premisas y conclusión de un razonamiento y se formalizan usando letras proposicionales. Luego, se transforma la forma en un gran condicional uniendo las premisas en el antecedente y poniendo la conclusión en el consecuente. Finalmente, se evalúa usando tablas de verdad para ver si siempre es verdadero, lo que indicaría que la forma es válida.
Este documento explica el método del condicional asociado para determinar si una forma deductiva es válida. Primero, se identifican las premisas y conclusión de un razonamiento y se formalizan usando letras proposicionales. Luego, se transforma la forma en un gran condicional uniendo las premisas en el antecedente y poniendo la conclusión en el consecuente. Finalmente, se evalúa usando tablas de verdad para ver si siempre es verdadero, lo que indicaría que la forma es válida.
Este documento explica el método del condicional asociado para determinar si una forma deductiva es válida. Primero, se identifican las premisas y conclusión de un razonamiento y se formalizan usando letras proposicionales. Luego, se transforma la forma en un gran condicional uniendo las premisas en el antecedente y poniendo la conclusión en el consecuente. Finalmente, se evalúa usando tablas de verdad para ver si siempre es verdadero, lo que indicaría que la forma es válida.
Algunas recomendaciones para resolver el Mtodo del Condicional Asociado
Nosotros sabemos que existen dos tipos de razonamientos:
La caracterstica principal de los razonamientos DEDUCTIVOS es que: Si la Forma es Vlida, esto da garantas de que de premisas verdaderas se obtenga conclusin verdadera.
La cuestin ahora es saber qu es una forma vlida. En primer lugar, sabemos que la forma de un razonamiento surge cuando pasamos el razonamiento de un lenguaje coloquial a lenguaje simblico. Veamos un ejemplo:
Si yo dedico una parte de todos los das al estudio y presto atencin a las estrategias de aprendizaje sugeridas por los profesores, aprobar las asignaturas del cuatrimestre. En verdad yo he prestado especial atencin a las estrategias de estudio que me recomendaron y adems todos los das dedico una cierta cantidad de horas a estudiar las materias. De ello puedo concluir que voy a aprobar las materias del cuatrimestre.
Muy bien, aqu tenemos un razonamiento, pero para conocer de qu forma es, primero tengo que identificar sus partes componentes:
- busco indicadores de premisa o bien de conclusin - luego lo ordeno en forma vertical o encolumnada para poder visualizarlo mejor
lo encontraron? Claro que si, est el indicador de conclusin casi al final del texto "de ello puedo concluir".
Ahora lo ordeno:
Si yo dedico una parte de todos los das al estudio y presto atencin a las estrategias de aprendizaje sugeridas por los profesores, aprobar las asignaturas del cuatrimestre.
En verdad yo he prestado especial atencin a las estrategias de estudio que me recomendaron y adems todos los das dedico una cierta cantidad de horas a estudiar las materias. ---------------------------------------------------------------------------------------------- Yo voy a aprobar las materias del cuatrimestre.
Me queda un razonamiento con dos premisas y una conclusin. Recordemos que al escribir la conclusin, yo debo colocar la proposicin, es decir, debo eliminar el indicador de conclusin que habamos encontrado porque ahora la lnea me indica que despus de ella se sigue la conclusin. Lo mismo tenemos que hacer si tuviramos "Dado que si yo dedico...." (en este caso, la premisa sera tal cual la expresamos ms arriba, sin el indicador "dado que").
Bueno, sigamos, ahora que encontr la estructura del razonamiento, debo pasarlo a lenguaje formal o, como comnmente se dice, debo formalizarlo (recordemos que queremos llegar a saber si esta forma es vlida). Para formalizar, entonces, debemos utilizar una letra proposicional para cada proposicin atmica o simple y adems, debemos marcar las conectivas. Deductivos No deductivos Metodologa de las Ciencias 2012 Material de Apoyo Unidad 3 2 As, en la primer premisa encontramos tres proposiciones atmicas: p: yo dedico una parte de todos los das al estudio q: Yo presto atencin a las estrategias de aprendizaje sugeridas por los profesores r: Yo aprobar las asignaturas del cuatrimestre
las conectivas que existen en la primer premisa son: "si.....,....." (un condicional) "y"
Fijmonos que la segunda premisa (que es una proposicin compleja), contiene las mismas proposiciones que la primer premisa, es decir, no debo incorporar otra letra proposicional diferente porque si bien las oraciones son distintas, el significado (proposicin) es el mismo.
Ahora pasemos a la forma:
Si yo dedico una parte de todos los das al estudio y presto atencin a las estrategias de aprendizaje sugeridas por los profesores, aprobar las asignaturas del cuatrimestre.
En verdad yo he prestado especial atencin a las estrategias de estudio que me recomendaron y adems todos los das dedico una cierta cantidad de horas a estudiar las materias. ---------------------------------------------------------------------------------------------- Yo voy a aprobar las materias del cuatrimestre.
(p . q) r
q . p -------------------- r
Ahora tenemos la forma del razonamiento. qued?
Bueno, para saber si es vlida, usamos (esta vez) el Mtodo del Condicional Asociado
En qu consiste este mtodo?
Bsicamente en transformar esa forma de razonamiento en un "gran condicional", es decir, en la forma de una proposicin condicional.
por qu?
Porque cuando vimos las Tablas de Verdad, en el caso especial del Condicional, vimos que el nico caso en que esta conectiva nos da un valor de verdad Falso, es cuando tenemos antecedente verdadero y consecuente falso; todos los dems casos dan valores de verdad verdaderos. As, si nosotros pasamos la forma de un razonamiento a la forma de un condicional, nos quedar que las premisas formarn el antecedente y que la conclusin ser el consecuente.
Antecedente Consecuente
Premisas del razonamiento Conclusin del razonamiento
De esta manera, si aplicando las Tablas de Verdad en todos los casos nos dan valores de verdad verdaderos, entonces decimos que esa forma es vlida.
Metodologa de las Ciencias 2012 Material de Apoyo Unidad 3 3 cmo lo armamos?
Bueno, en primer lugar pongamos el signo del condicional como conectiva principal y, por lo dicho anteriormente, sabemos que la o las premisas formarn parte del antecedente de ese condicional, y que la conclusin ser el consecuente.
(p . q) r q . p r
Esto no lo podemos dejar as, porque no queda delimitado el alcance de cada conectiva, as que debemos: - primero, unir las premisas entre s. cmo? Pues usando la conjuncin. Pensemos el caso de estar dando razones a un familiar de por qu decidimos no asisitir a un determinado evento. Entonces diramos algo as como: "porque estoy cansada, y no tengo zapatos adecuados, y adems no quiero relacionarme con esos amigos tuyos" con cul conectiva las un? Es algo intuitivo, siempre decimos esto Y esto otro Y esto otro tambin. Por lo tanto, la concetiva en cuestin es la Y ( . )
(p . q) r . q . p r
- ahora debemos delimitar una premisa y la otra usando parntesis o corchetes segn corresponda
| (p . q) r | . ( q . p) r
- ahora me queda claro cules son cada una de las dos premisas, pero debo destacar que las dos forman parte del antecedente de ese condicional. Esto lo hago poniendo, en este caso, llaves.
{ | (p . q) r | . ( q . p) } r
Este es nuestro condicional asociado !
As me qued armado el Condicional, ahora debo resolverlo empleando las Tablas de Verdad.
Primer paso: cmo determino la cantidad de filas que debo poner?
Sabemos que una proposicin tiene dos valores de verdad: es verdadera o bien es falsa. As que puedo decir que tanto "p" como "q" o "r" tienen dos valores de verdad.
Ahora me fijo cuntas proposiciones atmicas DIFERENTES tengo en el razonamiento (es decir, cuntas letras proposicionales): en este caso son tres Prestemos atencin que no hay que sacar la cuenta de cuntas letras proposicionales tenemos, porque en nuestro ejemplo diramos seis (p, q, r, q, p, r, segn el orden que tienen en el condicional)
Ahora tenemos los elementos para hacer el clculo de las filas que necesitamos
Metodologa de las Ciencias 2012 Material de Apoyo Unidad 3 4 2 valores de verdad elevado a la cantidad de letras proposicionales diferentes, es decir:
2 3 = 8
Segundo Paso: comenzamos a armar las tablas
Traemos el Condicional Asociado y comenzamos a ubicar los valores de verdad de cada letra proposicional comenzando por verdadero y de uno en uno. Esto es: { | (p . q) r | . ( q . p) } r V F V F V F V F
Ahora nos toca colocar los valores de verdad a la segunda letra proposicional. En este caso lo hacemos de dos en dos, siempre comenzando por verdadero.
{ | (p . q) r | . ( q . p) } r V V F V V F F F V V F V V F F F
Debemos poner los valores a la tercer letra proposicional. Lo hacemos de cuatro en cuatro, como siempre comenzando con verdadero.
{ | (p . q) r | . ( q . p) } r V V V F V V V F V F F V V V F F V F V F F F F F
qu sucede ahora con la letra siguiente? En este caso, como es una letra proposicional que ya hemos utilizado, debemos fijarnos en los valores de verdad que le habamos dado la vez anterior. Es as que nos corresponde colocarlos de dos en dos comenzando por verdadero.
{ | (p . q) r | . ( q . p) } r Metodologa de las Ciencias 2012 Material de Apoyo Unidad 3 5 V V V V F V V V V F V F F F V F V V F V F V F V V F F F F F F F
Lo mismo haremos con las siguientes letras proposicionales:
{ | (p . q) r | . ( q . p) } r V V V V V V F V V V F V V F V F V V F F V F F V V V F V V F F V F V F F V F F F V F F F F F F F
El seguir este procedimiento para armar la tabla de verdad nos garantiza realizar todas las combinaciones posibles de valores de verdad entre premisas y con la conclusin, sin repetir ninguno de ellos. Esto se puede corroborar leyendo por filas; por ejemplo, la primer fila es el nico caso en que tanto las proposiciones que forman las premisas, como la conclusin, son verdaderas.
Tercer paso: Ahora que hemos colocados los valores de verdad correspondientes, debemos comenzar a resolver.
Para hacerlo, slo debemos recordar los valores de verdad de cada conectiva y adems, comenzar, al igual que hacemos en matemtica, desde adentro hacia afuera, es decir, desde los parntesis, hacia corchetes y llaves, y desde izquierda a derecha, terminando en la conectiva principal que es el condicional (el segundo en este caso).
Resolvamos primero la conjuncin que est en el primer parntesis. Sabemos que slo es verdadera cuando los dos conjuntivos son verdaderos. { | (p . q) r | . ( q . p) } r V V V V V V V F F V V V F V V F F V F V V F F F V F F V V V V F V V F F F V F V F F V F F F F V F F F F F F F F
1
Debajo de la primer conectiva que resolvimos le ponemos el nmero 1, slo para ordenar la tarea (esto no es necesario, slo les queremos mostrar una forma de organizarnos).
Metodologa de las Ciencias 2012 Material de Apoyo Unidad 3 6 Ahora resolvemos el condicional que est entre los corchetes, comparando el resultado de la columna grisada con los valores de verdad de la letra r.
{ | (p . q) r | . ( q . p) } r V V V V V V V V F F V V V V F V V F F V V F V V F F F V V F F V V V V F F V V F F F V V F V F F V F F V F F V F F F F V F F F F
1 2
Vemos que en este caso (columna 2), el nico caso falso se da cuando tenemos antecedente verdadero y consecuente falso.
No podemos ahora resolver la conjuncin que sigue en orden de izquierda a derecha, porque su resultado depende del resultado de la conjuncin que representa la segunda premisa, as que primero resolvemos sta:
{ | (p . q) r | . ( q . p) } r V V V V V V V V V F F V V V V F F V V F F V V F F V V F F F V V F F F V V V V F F V V V F F F V V F V F F F V F F V F F F V F F F F V F F F F F
1 2 3 Ahora s resolvemos la conjuncin que hace de nexo entre las dos premisas, por supuesto, utilizando los valores de las columnas 2 y 3.
{ | (p . q) r | . ( q . p) } r V V V V V V V V V V F F V V V F V F F V V F F V V F F F V V F F F V V F F F F V V V V F F F V V V F F F V V F F V F F F V F F V F F F F V F F F F V F F F F F F
1 2 4 3 La cuarta columna, entonces, representa el resultado del conjunto de premisas. Nos queda ahora resolver la conectiva principal, el condicional, el que determinar si esta forma de razonamiento es vlida o no lo es. Lo hacemos obteniendo los valores de verdad del condicional, relacionando la 4 columna con los valores de la r final.
Metodologa de las Ciencias 2012 Material de Apoyo Unidad 3 7 { | (p . q) r | . ( q . p) } r V V V V V V V V V V V F F V V V F V F F V V V F F V V F F F V V V F F F V V F F F F V V V V V F F F V V V V F F F V V F F V F F V F V F F V F F F F V V F F F F V F F F F F V F
1 2 4 3 5 As, la 5 columna nos da el resultado final de esta forma de razonamiento, la cual es en todos los casos verdadera, lo que nosotros conocemos por TAUTOLOGIA. Por tanto, decimos que el razonamiento es VALIDO.
En caso de darnos CONTINGENCIA o CONTRADICCION, entonces el razonamiento ser NO VALIDO.
Veamos qu hacer cuando tenemos negaciones
Tenemos dos ejemplos posibles:
a) cuando est negada una letra proposicional
en este caso, el procedimiento para armar la tabla del Condicional Asociado es el mismo que hicimos antes, slo que antes de resolver las conectivas, debemos negar los valores de verdad correspondientes a las proposiciones que aparecen negadas. Veamos el ejemplo:
| (p . q) . ( q v p) | p V V V V F V V V F F V F F V F F V F F V V F V F F F V F V V V F V F F F F V F V F V V F
1 4 2 3 6 5
Como vemos, el nmero de filas es cuatro dado que tenemos 2 valores de verdad elevado a la cantidad de letras proposicionales diferentes (2). Entonces: 2 2 = 4 Siguiendo el mismo procedimiento, comenzamos a colocar los valores de verdad de la letra p de uno en uno, comenzando con verdadero. Luego seguimos por la q, colocndole valores de dos en dos, empezando por verdadero y as sucesivamente.
Ahora comencemos a resolver: La primer conjuncin la resolvemos de manera comn. (Columna 1) Ahora corresponde resolver la disyuncin que est en los segundo parntesis, pero es aqu cuando debemos prestar atencin ya que la proposicin q est negada, entonces debemos resolver esa negacin antes de la disyuncin (2 columna). Ahora s podemos obtener el resultado de la disyuncin, con los valores de las columnas 2 y los de la p (columna 3). Luego, resolvemos la conjuncin que une las premisas, combinando los valores de la 1 y 3 columnas (columna 4). Listas las premisas!!! Metodologa de las Ciencias 2012 Material de Apoyo Unidad 3 8 Pasemos ahora a la conectiva final. Pero cuidado!!! La conclusin est negada, as es que debemos resolverla primero, negando los valores de verdad que le colocamos a esa proposicin (columna 5). Ahora s veamos cmo resulta este razonamiento. Combinamos los valores de la 4 y 5 columna y nos queda determinada una CONTINGENCIA. Por tanto, el razonamiento es NO VALIDO.
b) cuando est negada una proposicin molecular, es decir, la que posee conectivas. En otras palabras, cuando la negacin est fuera de los parntesis o corchetes.
| (p . q) . (q v p) | p V V V F F V V V V F V F F V F F V V F V V F V F F F F F V V V F V F F F F V F F F V V F
1 4 3 2 6 5
En este caso, procedemos de igual manera para armar la Tabla. Fijmonos que est negada la disyuncin. qu debemos hacer? Primero resolvemos normalmente la columna 1. Luego resolvemos la disyuncin (columna 2). Pero no podemos seguir con la conjuncin que une las premisas si antes no negamos el resultado de la disyuncin (columna 3). Ahora negamos la conclusin dado que esta proposicin est negada (columna 5) y con este resultado y el de la 4 columna obtenemos el resultado final del Condicional Asociado, el cual es una TAUTOLOGIA, por lo tanto el razonamiento es VALIDO.
Recomendaciones finales:
prestar mucha atencin al ubicar las premisas y la conclusin calcular debidamente el nmero de filas poner los valores de verdad comenzando por verdadero y segn corresponda en cada letra proposicional abrir bien los ojos para resolver las conectivas tener cuidado cuando existen negaciones
Esperamos les sea de utilidad, ahora hay que practicar..