contraposition nom féminin : Loi logique selon laquelle il est équivalent de dire que A implique B et que non-B implique non-A.