Es como si A es verdad, entonces B es verdad, y también se da que B es falso.