Llegados a este punto, también hay que considerar que la lógica de predicados no se utiliza sólo para demostrar que un determinado conjunto de premisas implica una determinada evidencia