Voldoen aan
In de logica zeggen we gewoonlijk dat aan een formule die een of meer variabelen bevat wordt voldaan door die verzamelingen van een of meer waarden (zie variabelen) die een ware propositie opleveren als ze voor de betrokken variabelen worden gesubstitueerd. Als bijvoorbeeld Jan en Kees broers zijn, dan voldoen zij aan de formule ‘x is broer van /....