Fundamentos de la Lógica Proposicional: Verdad y Clasificación de Enunciados

Parte 2: La naturaleza de los enunciados y la teoría de la verdad

Observamos que el lenguaje distingue entre oraciones enunciativas y oraciones no enunciativas. Solo los enunciados pueden ser clasificados como verdaderos o falsos, ya que son los únicos capaces de reflejar situaciones que pueden contrastarse con la realidad.

Por el contrario, las oraciones no enunciativas, como los ruegos o las órdenes, no afirman nada sobre la existencia de una situación real. Para determinar la veracidad de un enunciado, recurrimos a la teoría de la verdad, la cual consiste en comparar el contenido del enunciado con la realidad: si existe semejanza entre ambos, el enunciado es verdadero.

Para realizar esta comparación, nos apoyamos en la información que nos proporcionan los sentidos. Por ejemplo, si se afirma que "la puerta está cerrada", utilizamos el sentido de la vista para verificar si dicha afirmación se corresponde con la realidad.

Parte 3: Clasificación y estructura de los enunciados

Los enunciados pueden clasificarse en tres grupos principales:

• Según su complejidad: Simples o complejos.
• Según el tipo de nexo: Basados en conectores lógicos.
• Según su polaridad: Afirmativos o negativos.

Estructura y tipos de enunciados

• Enunciados simples: Están formados por un solo verbo (ejemplo: "La luna es redonda").
• Enunciados complejos: Contienen más de un verbo (ejemplo: "La luna es redonda y Colón descubrió América").

Asimismo, los enunciados se conectan mediante nexos como la conjunción y la disyunción, los cuales permiten estructurar proposiciones más amplias. Para determinar su valor de verdad, utilizamos las tablas de la verdad, que varían según el nexo empleado:

Tablas de verdad: Conjunción y Disyunción

• Conjunción: Es necesario que ambas oraciones sean verdaderas para que el enunciado completo sea verdadero.
• Disyunción: El enunciado es verdadero si al menos uno de los componentes es verdadero. Solo resulta falso cuando todos los enunciados que lo componen son falsos.