1.3. REDUCCIÓN DE SILOGISMOS