1.3. REDUCCIÓN DE SILOGISMOS: TEORIA