bn:08366156n
Noun Concept
IT
proposizione contrapositiva  contrapositiva
EN
Proposition of the form ¬Q→¬P; equivalent to P→Q under classical logic Wikidata
Relations
Sources