Ragionamento deduttivo: Condizionale e ragionamento ipotetico, I sillogismi Aristotelici