e/Transposition (logic)

New Query

Information
has glosseng: In the methods of deductive reasoning in classical logic, "transposition is the rule of inference that permits one to infer from the truth of "A implies B" the truth of "Not-B implies not-A", and conversely". Its symbolic expression is:
lexicalizationeng: transposition
instance ofe/Rule of inference

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2025 Gerard de Melo.   Contact   Legal Information / Imprint