Didattica del ragionamento: un esempio di deduzione logica in ambiente Mathematica