Proposiciones y Lógica Proposicional

Naturaleza de la Lógica:

Ciencia compartida entre la filosofía y las matemáticas orientada al estudio del razonamiento válido y la inferencia correcta. Determina la validez de un argumento a partir de premisas, con independencia de su significado real. Al aplicar herramientas formales matemáticas, se constituye la lógica matemática, eliminando la ambigüedad del lenguaje humano.

Definición de Proposición:

Afirmación sobre un sistema lógico o matemático que toma de manera exclusiva un valor de verdad: verdadero o falso, pero nunca ambos.

Representación Formal:

Hace uso de variables proposicionales (tales como p, q, r), cuantificadores (universal ∀ "para todos" y existencial ∃ "existe") y conectivos lógicos. La lógica proposicional procesa estos bloques completos sin analizar la estructura interna (sujetos o predicados) de las oraciones.

Conectores Lógicos Fundamentales:

• Conjunción (∧ / Y): Verdadero únicamente si ambos enunciados componentes son verdaderos.
• Disyunción (V / O): Verdadero si al menos uno o ambos componentes lo son.
• Negación (¬ o ⁓ o - o No): Invierte el valor de verdad del enunciado (si P es verdadero, -P es falso).
• Implicación o Condicional (->): Da falso únicamente cuando el antecedente es verdadero y el consecuente es falso. Si el antecedente es falso, la implicación se asume verdadera.
• Bi-implicación o Bicondicional (<->): Verdadero solo si ambos componentes poseen idéntico valor de verdad.

Tablas de Verdad y Clasificación:

Evalúan todas las combinaciones de valores de entrada para fijar el valor de salida. Permiten clasificar las expresiones en:

• Tautología: La expresión resulta siempre verdadera.
• Contradicción: La expresión resulta siempre falsa.
• Contingencia: La expresión varía entre verdadero y falso.

Limitaciones:

Su complejidad matemática escala exponencialmente al incorporar más variables. Funcionan solo para valores fijos en lógica proposicional, resultando insuficientes en la lógica de predicados cuyos valores dependen de parámetros externos.