FORMAS PROPOSICIONALES

Se denomina forma proposicionales a las estructuras constituidas por variables proposicionales y los operadores lógicos que las relacionan. "P" constituye una variable proposicional cuando puede representar a una proposición simple o compuesta. el valor de verdad de las proposiciones involucradas. 

dentro de una forma proposicional se tiene las siguientes estructuras.

a.-TAUTOLOGÍA: (1,1,1,1)(VERDADERA)Se tiene solamente proposiciones verdaderas para todos los valores de verdad de las variables proposicionales.

b.-CONTRADICCIÓN :(0,0,0,0)(FALSA)Si se tiene solamente proposiciones falsa para todos los valores de verdad de las variables proposicionales.

c.-CONTINGENCIA:(0,1,0,1) (verdaderas y falsas)Si se tiene algunas proposiciones verdaderas y otras falsas para los valores de verdad para las variables proposicionales.

tabla de verdad:

p q r (p o q) (negado P) (r v negado de P)   (P o q)-> (r v negado de P)      A

0 0 0    0      1       1      1         0   

0 0 1    0      1       1      1         1

0 1 0    0      1       1      1         0

0 1 1    0      1       1      1         1

1 0 0    0      0       0      1         0

1 0 1    0      0       1      1         1

1 1 0    1      0       0      0         0

1 1 1    1      0       1      1         1

 respuesta : es contingencia