Buy Me a Coffee at ko-fi.com

Contrapositive

proposition of the form ¬Q→¬P; equivalent to P→Q under classical logic

Pronunciation
/kɒntrəˈpɒzɪtɪv/
/ˌkɑntrəˈpɑzədɪv/