A Bocardo érvényessége is automatikusan (a priori) öröklődik a Barbara érvényességéből, a betűkódból úgy látom, egy conversio meg egy reductio ad absurdum kell hozzá (ha tévednék, elnézést). A formállogika minden tézise állítólag: tautológia, vagyis minek velük foglalkozni :?