transposition
rule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negated
en-US/ˌtɹænspəˈzɪʃən/
en-GB/ˌtɹænspəˈzɪʃn/
rule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negated