Lógica Proposicional y Silogismos: Reglas, Conectores y Equivalencias

Sección 1: Introducción a las Proposiciones Categóricas y Conectores Básicos

En el estudio de la lógica formal, encontramos diferentes tipos de proposiciones y conectores que estructuran el pensamiento formalizado. A continuación, se detallan las bases de las proposiciones categóricas y los operadores lógicos fundamentales.

Proposiciones Categóricas (I y O)

• Proposición I (Particular afirmativa): "Algún S es P" (se representa con una "x" en la intersección o en medio). Esto significa que hay al menos un S que es P.
• Proposición O (Particular negativa): "Algún S no es P" (se representa con una "x" en la zona de S que no pertenece a P). Esto significa que hay al menos un S que no es P.

Operadores Lógicos y Tablas de Verdad

Los conectores lógicos nos permiten estructurar proposiciones complejas (negador, disyuntor, conjuntor, condicional o bicondicional):

• Negador (no): Su función es cambiar el signo o el valor de verdad de la proposición.
• Conjuntor (y, aunque, pero): Representado comúnmente por el símbolo ∧. Solo es verdadero (V) cuando todas las proposiciones que lo integran son verdaderas (V).
• Disyuntor (o, o bien): Representado por el símbolo ∨. Solo es falso (F) cuando todas las proposiciones que lo integran son falsas (F).
• Condicional (→): Se expresa como "Si..., entonces...". Solo es falso (F) cuando el antecedente es verdadero (V) y el consecuente es falso (F).
• Bicondicional (↔): Se expresa como "si y solo si". Solo es verdadero (V) si ambas proposiciones tienen el mismo valor de verdad (es decir, si ambas son verdaderas o ambas son falsas: V,V o F,F).

Definición de Operadores y Equivalencias

Definir por Disyuntor

• Conjuntor: Negamos toda la fórmula y cada una de las variables, y colocamos el signo del disyuntor.
• Condicional: Negamos únicamente el antecedente (la primera variable).

Definir por Conjuntor

• Disyuntor: Negamos toda la fórmula y cada una de las variables, y colocamos el signo del conjuntor.
• Condicional: Negamos toda la fórmula y el consecuente, y colocamos el signo del conjuntor.

Equivalencias del Condicional

• Disyuntor:

  p ∨ q ≡ ¬p → q

• Conjuntor:

  p ∧ q ≡ ¬(p → ¬q)

Sección 2: Profundización en Tablas de Verdad y Operadores

Para dominar la lógica formal, es indispensable comprender cómo interactúan las proposiciones particulares y los conectores lógicos en diferentes contextos de evaluación.

Estructura de las Proposiciones

• Proposición I: "Algún S es P". Indica que existe al menos un elemento de S que pertenece a P.
• Proposición O: "Algún S no es P". Indica que existe al menos un elemento de S que no pertenece a P.

Uso de Conectores Lógicos

• Negador: Invierte el valor de verdad de la proposición afectada.
• Conjuntor: Requiere que todas las partes sean verdaderas para que el resultado sea verdadero.
• Disyuntor: Requiere que todas las partes sean falsas para que el resultado sea falso.
• Condicional: Establece una relación de causa-efecto. Solo falla (es falso) cuando el antecedente es verdadero y el consecuente es falso.
• Bicondicional: Exige coincidencia en los valores de verdad para resultar verdadero.

Conversión y Definición de Conectores

Definición mediante Disyuntor

• Para el conjuntor: Se aplica la negación a la fórmula completa y a cada una de sus variables, sustituyendo el operador por un disyuntor.
• Para el condicional: Se niega únicamente el antecedente de la relación.

Definición mediante Conjuntor

• Para el disyuntor: Se niega la fórmula completa y cada una de sus variables, empleando el operador conjuntor.
• Para el condicional: Se niega la fórmula completa junto con el consecuente, utilizando el conjuntor.

Fórmulas de Equivalencia

• Equivalencia con Disyuntor: p ∨ q ≡ ¬p → q
• Equivalencia con Conjuntor: p ∧ q ≡ ¬(p → ¬q)

Sección 3: Aplicación Práctica de Equivalencias Lógicas

En esta sección final, consolidamos las reglas de transformación lógica que permiten simplificar expresiones complejas y realizar demostraciones formales.

Representación de Proposiciones Categóricas

• Proposición I: Representa la existencia de una intersección no vacía entre S y P (al menos un S es P).
• Proposición O: Representa la existencia de elementos exclusivos de S que no están en P (al menos un S no es P).

Resumen de Reglas de Verdad

• Negador: Cambia el signo de la variable o proposición.
• Conjuntor: Es verdadero únicamente si todas sus componentes son verdaderas.
• Disyuntor: Es falso únicamente si todas sus componentes son falsas.
• Condicional: Es falso solo cuando el antecedente es verdadero y el consecuente es falso.
• Bicondicional: Es verdadero si y solo si ambas partes comparten el mismo valor de verdad.

Sintaxis de las Transformaciones Lógicas

Definición por Disyuntor

• Conjuntor: Negación de toda la fórmula y de cada variable individual, unidas por un disyuntor.
• Condicional: Negación exclusiva del antecedente.

Definición por Conjuntor

• Disyuntor: Negación de toda la fórmula y de cada variable individual, unidas por un conjuntor.
• Condicional: Negación de toda la fórmula y del consecuente, unidas por un conjuntor.

Modelos de Equivalencia Condicional

• Disyuntor a Condicional: p ∨ q ≡ ¬p → q
• Conjuntor a Condicional: p ∧ q ≡ ¬(p → ¬q)