Una tautología es una fórmula que es siempre verdadera sean cuales sean los valores de verdad de sus componentes. Las tautologías se denominan también leyes lógicas.
Una contradicción es una fórmula que es siempre falsa sean cuales sean los valores de verdad de sus componentes.
Una indeterminación es una fórmula que en unos casos es verdadera y en otros falsa, en función de los valores de verdad de sus componentes.
No hay comentarios:
Publicar un comentario