contrapositive (Q7249998)
Jump to navigation
Jump to search
proposition of the form ¬Q→¬P; equivalent to P→Q under classical logic
- contrapositive proposition
- contrapositive statement
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | contrapositive |
proposition of the form ¬Q→¬P; equivalent to P→Q under classical logic |
|
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- cawiki Contrarecíproc
- eswiki Contrarrecíproco