contraposition

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

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

زمرے:

rule of inferencereasoning