acréscimo (lógica de predicados)