Boole Verso la metà dell’Ottocento i logici inglesi G.Boole (1847) (Biblio)e A.De Morgan codificarono in modo rigoroso il ragionamento deduttivo. Il Calcolo Proposizionale e l’algebra booleana saranno alla base della possibilità di formalizzare problemi e trasformarli nella serie di operazioni logiche semplici capaci di risolverli.