TAUTOLOGÍA, CONTRADICCIÓN,
INDETERMINACIÓN Y FÓRMULAS
EQUIVALENTES.
Las fórmulas proposicionales también pueden clasificarse, atendiendo a los valores de
verdad que puede asumir.
De acuerdo a este criterio, las fórmulas proposicionales se
clasifican en:...
More
TAUTOLOGÍA, CONTRADICCIÓN,
INDETERMINACIÓN Y FÓRMULAS
EQUIVALENTES.
Las fórmulas proposicionales también pueden clasificarse, atendiendo a los valores de
verdad que puede asumir.
De acuerdo a este criterio, las fórmulas proposicionales se
clasifican en:
TAUTOLOGÍAS:
Ejemplo:
Comprobar que la fórmula )~~()( pqqp es una tautología
Para comprobarlo sólo tenemos que construir su correspondiente tabla de verdad:
p q ~ p ~ q qp pq ~~ )~~()( pqqp
V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V
Puede observarse que en la última columna los valores de verdad son todos V, en
consecuencia, dicha fórmula es una tautología.
Una tautología es una proposición verdadera formalmente; es decir, es siempre verdadera
por su forma lógica, o sea, por la forma en que se relacionan sus proposiciones
componentes, independientemente de los valores de verdad de éstas.
Diremos que una fórmula es una tautología, si y sólo si, ella es
siempre verdadera, no importa cuáles sean los valores de sus
componen
Less