Lógica Proposicional: Conectores, Conceptos y Reglas de Inferencia

Símbolos y Conectores de la Lógica Proposicional

En la lógica proposicional, los conectores lógicos (también llamados operadores o conectivas) son símbolos que permiten formar proposiciones compuestas a partir de proposiciones simples, modificando o relacionando sus valores de verdad.

Tipos de Conectores Lógicos

• Negador (¬)

  Invierte el valor de verdad de una proposición. Si una proposición es verdadera, su negación es falsa, y viceversa.

• Conjuntor (∧)

  Representa la conjunción ("y"). La proposición compuesta es verdadera únicamente cuando ambas proposiciones que la componen son verdaderas. En cualquier otro caso, es falsa.

• Disyuntor (∨)

  Representa la disyunción ("o"). La proposición compuesta es verdadera cuando al menos una de las proposiciones que la componen es verdadera. Es falsa únicamente cuando todas las proposiciones son falsas.

• Condicional o Implicador (→)

  Representa la implicación ("si... entonces..."). La proposición compuesta es verdadera en todos los casos, excepto cuando el antecedente (p) es verdadero y el consecuente (q) es falso. En este último caso, la implicación es falsa.

• Bicondicional o Coimplicador (↔)

  Representa la doble implicación ("si y solo si"). La proposición compuesta es verdadera cuando los valores de verdad de las proposiciones que la componen coinciden (ambas verdaderas o ambas falsas). Es falsa cuando sus valores de verdad son diferentes.

Conceptos Fundamentales en Lógica Proposicional

• Tautología

  Una tautología es una fórmula que siempre es verdadera, independientemente de los valores de verdad de sus componentes. También se denomina ley lógica.

• Contradicción

  Una contradicción es una fórmula que es siempre falsa, independientemente de los valores de verdad de sus componentes.

• Indeterminación

  Una indeterminación (o contingencia) es una fórmula que puede ser verdadera en algunos casos y falsa en otros, dependiendo de los valores de verdad de sus componentes.

Reglas Básicas de Inferencia Lógica

Las reglas de inferencia son esquemas lógicos que permiten derivar conclusiones válidas a partir de un conjunto de premisas. Son fundamentales para la construcción de demostraciones lógicas.

Reglas del Conjuntor

• Introducción del Conjuntor (∧I)

  Si se tienen dos proposiciones (P y Q) como premisas, se puede concluir que la conjunción de ambas (P ∧ Q) es necesariamente verdadera.

  Ejemplo:
  Premisa 1: P
  Premisa 2: Q
  Conclusión: P ∧ Q

• Eliminación del Conjuntor (∧E)

  De una conjunción (P ∧ Q) tomada como premisa, se puede concluir que cualquiera de las proposiciones que la componen (P o Q) es verdadera.

  Ejemplo:
  Premisa: P ∧ Q
  Conclusión: P (o Q)

Reglas del Disyuntor

• Regla de Introducción del Disyuntor (∨I)

  De una proposición cualquiera (P) tomada como premisa, se puede concluir su disyunción con cualquier otra proposición (P ∨ Q).

  Ejemplo:
  Premisa: P
  Conclusión: P ∨ Q

• Regla de Eliminación del Disyuntor (∨E)

  Si de una disyunción (P ∨ Q) tomada como premisa, y suponiendo cada una de las proposiciones que la componen (P por un lado, Q por otro), se llega a la misma conclusión (R), dicha conclusión (R) es necesariamente verdadera.

  Ejemplo:
  Premisa 1: P ∨ Q
  Premisa 2: P → R
  Premisa 3: Q → R
  Conclusión: R

Reglas del Implicador

• Eliminación del Implicador o Modus Ponens (→E / MP)

  De una implicación (P → Q) y su antecedente (P) tomados como premisas, se puede concluir que el consecuente (Q) es necesariamente verdadero.

  Ejemplo:
  Premisa 1: P → Q
  Premisa 2: P
  Conclusión: Q

• Introducción del Implicador (→I)

  Si al suponer una premisa cualquiera (P) se llega a otra proposición (Q), se puede afirmar que la implicación (P → Q), donde el antecedente es la premisa supuesta y el consecuente la proposición a la que se ha llegado, es verdadera.

  Ejemplo:
  Supongamos P
  ... (derivamos Q)
  Conclusión: P → Q

Reglas del Negador

• Eliminación del Negador o Doble Negación (¬¬E / DN)

  La doble negación de una proposición (¬¬P) equivale a su afirmación (P), y viceversa (P equivale a ¬¬P).

  Ejemplo:
  Premisa: ¬¬P
  Conclusión: P

• Regla de Introducción del Negador o Procedimiento de Reducción al Absurdo (¬I / RA)

  No es estrictamente una regla de inferencia, sino un procedimiento alternativo de demostración. Consiste en suponer la negación de lo que se quiere demostrar y, si de esa suposición se deriva una contradicción, entonces la suposición inicial debe ser falsa, y por lo tanto, la proposición original es verdadera.

  Ejemplo:
  Para demostrar P:
  1. Suponer ¬P (hipótesis para reducción al absurdo)
  2. ... (derivar una contradicción, e.g., Q ∧ ¬Q)
  3. Concluir P