FORMAS PROPOSICIONALES

Se denomina formas proposicionales a estructuras constituidas por variables proposicionales y operadores lógicos que los relaciona.

DENTRO DE UNA FORMA PROPOSICIONAL SE TIENEN LAS SIGUIENTES ESTRUCTURAS LÓGICAS:

a) Tautología.-  Se da solamente cuando todos  los valores de verdad de todas las variables es verdadero.

b) Contradicción.- Se da cuando todos los valores de la tabla de verdad son falsas.

c) Contingencia.- Se da cuando algunos de los valores de verdad son verdaderos  y otros son falsos.