contraposition

inference that says that a conditional statement is logically equivalent to its contrapositive

en-US/ˌkɑntɹəpəˈzɪʃən/
en-GB/kɒntɹəpəzɪʃən/

Categories:

rule of inferencereasoning