IA01: Logica del 1° Ordine: Sintassi