bn:08366156n
Noun Concept
EN
contrapositive  contrapositive proposition  contrapositive statement
EN
Proposition of the form ¬Q→¬P; equivalent to P→Q under classical logic Wikidata
Definitions
Relations
Sources
EN
Proposition of the form ¬Q→¬P; equivalent to P→Q under classical logic Wikidata