Ragionamento deduttivo: Condizionale, ragionamento ipotetico, logica categorica