(Q7249998)

English

contrapositive

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

  • contrapositive proposition
  • contrapositive statement

Statements

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit