viernes, 27 de noviembre de 2009

Clases de formas normales.




Procedimiento para determinar el carácter tautológico de cualquier formula mediante la forma natural conjuntiva (FNC):

a) Se eliminan todos lo operadores diádicos que no sean conjunciones y disyunciones mediante la aplicación de sus respectivas definiciones.

b) Se eliminan las negaciones que afectan a operadores mediante las leyes de Morgan (De M).

c) Se suprimen las dobles negaciones aplicando la ley del mismo nombre.

d) Se aplican las leyes de distribución, absorción y tautológica cuando fuera necesario.

e) Se aplica el siguiente criterio: la FNC es tautológica cuando fuera necesario.


Procedimiento para determinar el carácter tautológico de cualquier formula mediante la forma normal disyuntiva (FND):

Para hallar la forma normal disyuntiva (FND) de una formula proposicional cualquiera se procede de la siguiente manera:

a) Se niega la formula proposicional propuesta.

b) Se realizan los mismos pasos que el procedimiento anterior.

c) Se aplica el siguiente criterio: La FND es tautológica si y solo si todas y cada una de las conjunciones básicas contienen una contradicción. Se entiende que esta FND sea contradictoria desde el momento que se parte de la negación de la formula proposicional originaria.

No hay comentarios:

Publicar un comentario