On dit qu'une formule de logique de la position est satisfaisante si des valeurs logiques peuvent être attribuées à ses variables d'une manière qui rend la formule vraie.
Dans la logique de la positivité, une formule est satisfaisante si les variables qu'elle utilise peuvent recevoir des valeurs afin qu'elles deviennent vraies.