La satisfacción de una sentencia es relativa a la interpretación y a la asignación de términos. Diremos que un átomo se satisface (o es verdadero) para una determinada interpretación y una determinada asignación si asignando los valores a sus términos e interpretándolo, el resultado está en la relación representada.[3]

Un átomo se satisface si y sólo si las asignaciones de sus términos resultan incluidas en la interpretación del predicado.

El concepto de satisfacción se refiere a la noción de verdadero o falso en la lógica de predicados: en general, una misma sentencia puede ser verdadera o falsa, dependiendo de la interpretación y de la asignación de variables.