REDUCCIÓN INDIRECTA DE BAROCO A BARBARA

      baroco1.gif (831 bytes)                                                                          barba1.gif (826 bytes)
Toda aguila puede volar Ba                                                      Toda aguila puede volar Bar
Algunos cerdos no pueden volar Ro                                        Todo cerdo es aguila Ba
Algunos cerdos no son aguilas Co                                          Todo cerdo puede volar Ra

                                             
Estrategia a seguir

  1. Deducir la oposición contradictoria de la conclusión del modo imperfecto (Baroco) y situarla como una de las premisas del modo perfecto (Barbara). En este caso de algunos cerdos no son aguilas se deduce todo cerdo es aguila.
  2. Realizar la combinación correcta con las premisas del modo imperfecto para producir un BarBara.
  3. Notar que la conclusión que se logra en Barbara es la contradictoria de una de las premisas del modo imperfecto. En este caso, todo cerdo puede volar es la contradictoria de algunos cerdos no pueden volar.