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/

Kategoriler:

rule of inferencereasoning