Tipos de Esquemas Proposicionales
Una proposición es una tautología cuando resulta verdadera para todas las posibles combinaciones de valores. Por ejemplo, en la tabla de verdad de "p∨¬p", todas las filas muestran resultado verdadero, sin importar los valores de p.
Por el contrario, una proposición es una contradicción cuando resulta falsa para todas las posibles combinaciones. Como vemos en el ejemplo "(p∨q)∧¬(p∨q)", todas las filas muestran resultado falso.
Si una proposición no es ni tautología ni contradicción, se llama contingencia. En estos casos, el valor de verdad depende de las variables. El ejemplo "p∨¬q" muestra valores verdaderos en algunas filas y falsos en otras.
🔍 Recuerda: Identifica el tipo de proposición observando la columna final de la tabla de verdad - si todos son V (tautología), todos F (contradicción) o mixto (contingencia).