11.5: Revisión de Puntos Principales

Este capítulo introdujo el concepto de forma lógica de una oración y el concepto de equivalencia lógica entre oraciones. Los argumentos tienen formas lógicas compuestas por las formas de sus oraciones componentes. La forma lógica a su vez es la clave para valorar si un argumento deductivo es válido. Una vez que se ha identificado la forma lógica de un argumento deductivo, se termina la parte más difícil de evaluar la validez o invalidez, pues con la forma se pueden detectar analogías lógicas, y se puede utilizar el método de tablas de verdad para determinar si el argumento es válido, es decir, no tiene contraejemplo. En este capítulo nos concentramos en las formas lógicas en la Lógica Sentencial: formas que involucran y, o, no, y si-entonces que conectan oraciones más pequeñas para formar oraciones más grandes. También examinamos tres términos que probablemente causen confusión lógica: solo, solo si y a menos que. El capítulo terminó con una excursión a la lógica de 3 valores y luego a la historia del campo de la lógica. Ahora has desarrollado un arsenal de poderosas herramientas lógicas para usar en atacar algunos casos de razonamiento complejo. Desafortunadamente, no existe una sola herramienta que funcione para todo tipo de razonamientos.