At this point, it must also be considered that predicate logic is not used only to prove that a particular set of premises imply a particular evidence