forWE-COLLAB
Ragionamento deduttivo: il calcolo proposizionale