contraposition

form of immediate inference in which a proposition is inferred from another

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

الفئات:

rule of inference