Asignación de Verdad
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una aplicación que asigna valores de verdad (comúnmente Verdadero o Falso) a variables proposicionales o a átomos ground en una estructura dada, utilizada como base para evaluar fórmulas o comprobar satisfacibilidad.