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