SATISFACER

Dada una fórmula bien formada que contiene variables individuales, x, y..., se dice que la fórmula queda satisfe­cha por los correspondientes valores de las variables si, y sólo si, se obtiene una proposi­ción verdadera cuando se asignan valores a las variables. Los valores de variables son do­minios de