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