En la lógica libre, aunque todos los objetos del dominio D satisfagan un predicado A, si un término "t" no denota ningún miembro de D entonces no satisface A.