Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Uno de los métodos más importantes para decidir la validez de una fórmula en
LP es el método del árbol semántico, es un método no determinista de tal forma
se elige de forma casual entre otras posibilidades y se intenta completar la
asignación de valores de verdad; si esto es posible, entonces hemos
encontrado un modelo que la satisface, mientras que, si se encuentra una
contradicción, volvemos atrás e intentamos otra posibilidad. Si hemos
terminado todas las posibilidades sin encontrar ninguna asignación completa,
podemos concluir que la fórmula no satisface.
Referentes bibliográficos