¡ Vacío !
"Parece como si el condicional no planteara problemas. Pero el hecho es que el condicional lleva por lo menos veintidós siglos planteándolos. [...] Mientras en la conjunción -o en la disyunción, o, como veremos, en el bicondicional- el orden de los enunciados es irrelevante (es lo mismo, en efecto, decir 'En todas las tarjetas hay un triángulo rojo y un círculo azul' que decir 'En todas las tarjetas hay un círculo azul y un triángulo rojo', pues tanto monta 'p^q' como 'q^p'), en el caso del condicional los enunciados que lo componen están, por definición, ordenados: el uno hace de antecedente, y el otro, de consecuente; sus posiciones no son intercambiables, puesto que el uno enuncia la condición y el otro lo condicionado, y la primera precede siempre lógicamente al segundo. No es lo mismo decir 'Si mueres, resucitarás' que decir 'Si resucitas, entonces morirás'. [...] El problema, por tanto, se hace más difícil cuando el enunciado a contrastar es un condicional porque en el caso de éste hay que considerar además el orden de los enunciados que lo componen. Un orden que no puede ser alterado so pena de transformar el enunciado en otro que no le es equivalente." (Alfredo Deaño, Introducción a la lógica formal, Madrid, Alianza, 1983)
| Indice | |
| Indice | Prólogo apócrifo, por Gilles Dowek 5 Jaime Poniachik nos hace el cuento 6 ¡Cuidemos lo que decimos! 7 Primera conexión: proposición condicional 8 Segunda conexión: condicional conversa 10 Ojos que no Venn... 12 Algunas conclusiones importantes 15 La condicional y la condicional conversa 16 Craso error 18 Y al final, ¿cuál es el problema? 19 ¿Qué significa la expresión "condición suficiente"? 20 ¿Qué significa la expresión "condición necesaria"? 21 Nos ponemos a resolver ejercicios 22 Valor de verdad dependiente 26 ¡Jugadas-con condicionales! 28 Lógica y matemática 33 Separando la paja del trigo 36 Tercera conexión: bicondicional 43 El orden de los factores, a veces, altera el producto 44 Tres distinciones muy importantes 45 I. Diferencia entre condicional e implicación 45 II. Razonar no es calcular 47 III. Verdadero no es lo mismo que válido 48 Las demostraciones matemáticas, por César Trejo 49 Demostraciones por inducción matemática, por Eduardo H. del Busto 55 Noticia histórica, por Eduardo H. del Busto 62 Otros menesteres 63 Addenda 66 Respuestas 67 Bibliografía 73 |
