bn:08366156n
Noun Concept
JA
No term available
EN
Proposition of the form ¬Q→¬P; equivalent to P→Q under classical logic Wikidata
Relations
Sources
IS A