Il ragionamento classico. La logica Si basa su una grammatica che consente di derivare da un insieme di proposizioni iniziali date come vere (ASSIOMI)