La lógica proposicional permite evaluar los datos para obtener conclusiones; que permitan como en el caso de un programa tomar desiciones y servir como punto de partida a nuevas evaluaciones lógicas.
A continuación tenemos las tablas de verdad de los teoremas:Estas tablas permiten visualizar los rasgos característicos de cada teorema; esto nos es de gran ayuda para la evaluación de los datos que necesitamos para llegar al objetivo o solución en el programa.
No hay comentarios:
Publicar un comentario