donde A y B son proposiciones cualesquiera.