Contingencia lógica

En este artículo explicamos qué es una contingencia en lógica simbólica matemática con ejemplos y tablas de verdad.

¿Qué es una contingencia lógica?

En lógica proposicional, una contingencia es una proposición compuesta cuyo valor de verdad depende de los valores de verdad de las proposiciones simples que la componen. En otras palabras, una proposición contingente es verdadera en algunos casos y falsa en otros, por lo cual no es una tautología ni una contradicción.

Las proposiciones contingentes son las más comunes en el lenguaje natural, pues son las que usamos para describir el mundo real y hacer afirmaciones sobre lo que sucede en él. Algunos ejemplos de proposiciones contingentes en lenguaje habitual son:

  • “Hace frío y está lloviendo”, sólo es verdadera cuando es cierto que hace frío y está lloviendo al mismo tiempo. Si solo hace frío pero no llueve, o viceversa, la proposición es falsa; también es falsa si no hace frío ni está lloviendo.
  • “Juan come pan o mira la televisión”, es una proposición verdadera cuando es cierto lo primero y lo segundo, o cuando es cierto al menos uno de los dos; la proposición es falsa cuando ambas afirmaciones son falsas.

Tablas de verdad

Para saber si una proposición es una contingencia podemos construir su tabla de verdad: si existe al menos un valor verdadero y otro falso, se trata de una contingencia. Si todos los valores son verdaderos, se trata de una tautología; si son todos falsos, se trata de una contradicción

Ejemplo 1

La proposición ¬p ∧ q ↔ q ∨ ¬q es una contingencia de dos variables, su tabla de verdad es:

pq¬p¬q¬p ∧ qq ∨ ¬q¬p ∧ q ↔ q ∨ ¬q
VVFFFVF
VFFVFVF
FVVFVVV
FFVVFVF

Nótese que la proposición solo es verdadera cuando p es falso y q es verdadero, y es falsa en todos los demás casos.

Ejemplo 2

La proposición compuesta ¬p ∨ q es una contingencia:

pq¬p¬p ∨ q
VVFV
VFFF
FVVV
FFVV

Ejemplo 3

¬p ∧ q → r es una proposición contingente de tres variables:

pqr¬p¬p ∧ q¬p ∧ q → r
VVVFFV
VVFFFV
VFVFVV
VFFFFV
FVVVVV
FVFVVF
FFVVFV
FFFVFV

El único caso en que la proposición es falsa es cuando p es falso, q es verdadero y r falso.

Otros ejemplos

  • ¬p
  • p ∧ q 
  • p ∨ q
  • p → q
  • p ↔ q

Se puede comprobar que estas proposiciones son contingentes viendo las tablas de verdad de los conectivos lógicos.

Daniel Machado

Estudiante avanzado del Profesorado de Matemáticas en la Facultad de Ciencias Exactas, Químicas y Naturales de la Universidad Nacional de Misiones.

Subir

Este sitio web utiliza cookies. Leer políticas