contraposition

nom féminin

  • Loi logique selon laquelle il est équivalent de dire que A implique B et que non-B implique non-A.