Son operaciones lógicas que se realizan en una formula proposicional,
aplicando adecuadamente ciertas reglas básicas llamadas leyes lógicas. Es
decir, al igual que en algebra básica donde la simplificación de expresiones
algebraicas es muy importante, en lógica también existe la necesidad de
simplificar formulas proposicionales complejas, a través de ciertas
equivalencias llamadas leyes lógicas, que a continuación se listan:
Simplificación
de fórmulas proposicionales
Se trata de transformar una formula proposicional en otra
equivalente a ella pero lo más reducida posible. Para lo cual se debe usar
oportuna y correctamente las leyes lógicas. Así mismo, deben especificarse en
cada paso la ley o leyes que fueron utilizadas.
No hay comentarios:
Publicar un comentario