Exportación, Ley de la

Exportación, Ley de la. Regla lógica de equivalencia lógica que estipula: es una fórmula formada por dos conectivos condicionales `(p --> (q --r)' por ejemplo, puede convertirse en una fórmula cuyo conectivo principal sigue siendo el condicional [v] pero el antecedente de la segunda fórmula es cambiado por una conjunción, `(p & q) --> r'. Esta regla lógica de equivalencia puede justificarse por medio de otras reglas lógicas:

1) (p & q) --> r

/// p --> (q --> r)

2) -(p & q) v r     Impl. material 1.

3) (-p v -q) v r    De Morgan      2.

4) -p v (-q v r)    Asociación     3.

5) p --> (-q v r)   Impl. material 4.

6) p --> (q --> r)  Impl. material 5.