contrapositive

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

en-US/ˌkɑntɹəˈpɑzɪtɪv/

Categories:

conditional sentence