Relación de Satisfacción

La relación formal |= (o ⊧) entre una estructura (o modelo), una asignación de variables (cuando procede) y una fórmula, que se cumple exactamente cuando la fórmula es verdadera en esa estructura bajo esa asignación según las reglas semánticas del lenguaje.