FORMAS PROPOSICIONALES Y TABLA DE VERDAD DE LAS FORMAS PROPOSICIONALES

Se denominan formas proposicionales a las estructuras constituidas por variables proposiciomales
y los operadores logicos.
Dada la estructura lógica de una forma proposicional se puede determinar si es tautologia, de contingencia o contradicción.
Se considera que es una tautologia.- cuando se tienen proposiciones verdaderas para todos los valores de verdad de las variables proposicionales.
Contradicción.- cuando se tienen proposiciones falsas para todos los valores de verdad de las variables proposicionales.
Contingencia.- cuando se tienen proposiciones falsa y verdaderas para todos los valores de verdad de las variables proposicionales.