A questo punto, bisogna anche considerare che la logica dei predicati non è usata solo per dimostrare che un particolare insieme di premesse implica una particolare evidenza