logica del primo ordine

La logica è una famiglia di linguaggi formali per rappresentare informazione e derivare conseguenze.