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