Bayes' theorem
formula_82 which is equivalent to formula_81 being TRUE. Hence, the subjective Bayes' theorem represents a generalization of both "contraposition" and Bayes' theorem.