Research Concept

Transposition (logic)

rule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negated