Information | |
---|---|
has gloss | eng: 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: |
lexicalization | eng: transposition |
instance of | e/Rule of inference |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint