-
Declaración condicional recién formada intercambiando la parte "si" y la parte "entonces" de la declaración condicional original, es decir, la recíproca de la declaración condicional "si x, entonces y" es "si y, entonces x".
La recíproca de una declaración verdadera puede no ser verdadera. La siguiente declaración es verdadera: si x > 4, entonces |x| > 4. Sin embargo, su recíproca es, si |x| > 4, x > 4, puede no ser verdadera, porque x pudiera ser menor que - 4 en este caso.
