Buy Me a Coffee at ko-fi.com

Contraposition

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

Pronunciation
/ˌkɑntrəpəˈzɪʃən/
/kɒntrəpəˈzɪʃən/