Acquisire buona conoscenza dei principi della logica classica del primo ordine e del calcolo dei seguenti per essa, nonché‚ dei principali risultati che la concernono