Transposición, ley de la

 Transposición, ley de la .  Regla lógica de equivalencia lógica que estipula: un condicional `p --> q' por ejemplo, es equivalente a la fórmula en la cual el consecuente pasa a ocupar el lugar del antecedente, pero de manera negada y el antecedente de la primera fórmula pasa a consecuente de la segunda también negada, es decir `-q --> -p'. 

(p --> q) <--> (-q --> -p)

o si se prefiere

(-p --> -q) <--> (q --> p)

La regla lógica de transposición puede justificarse a partir de otras reglas lógicas.

1) p --> q)

/// -q --> -p

2) -p v q    Impl. material 1.

3) q v -p    Conmutación    2.

4) -q --> -p Impl. material 3