Es decir, si A es verdadera, entonces la negación de A implica B (una proposición cualquiera).