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