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/

Kategoriler:

rule of inference