Programma per la derivazione di frasi logiche