Reducción directa de BRaMaNTiP a BaRBaRa

            braman.gif (823 bytes)                                               barbara.gif (826 bytes)
     Todo ser humano es un ser pensante BRa                                                Todo ser pensante se equivoca         BaR
     Todo ser pensante se equivoca MaN
                                                       Todo ser humano es un ser pensante  Ba
     Algunos que se equivocan son seres pensantes TiP                                    Todo ser humano se equivoca           Ra (1)                             (Inválido)                                                                                 (1) Excepción regla conversión accidental
                                                                                                                                   

bramaCon.gif (843 bytes)
(La presencia de la X en la región de los A-B-C, es decir, en la región de los S-P-M, nos indica que existe algún S que es P. Notar que esta X falta en BRaMaNTiP, por lo que es inválido)