Neste ponto, também deve ser considerado que a lógica dos predicados não é usada apenas para provar que um conjunto particular de premissas implica uma evidência particular