Reducción indirecta de BaRoCo a BaRBaRa

            baroco2.gif (824 bytes)                                                               barba3.gif (826 bytes)
Todo ateo niega la existencia de Dios Ba                                           Todo ateo niega la existencia de Dios     BaR
Algunos filósofos no niegan la existencia de Dios Ro                       Todo filósofo es ateo                                     Ba
Algunos filósofos no son ateos Co                                                         Todo filósofo niega la existencia de Dios Ra