Cada enunciado condicional, A→B, se puede reexpresar como una derivación, AB, denominada argumento correspondiente o derivación correspondiente del condicional.

(v. condicional correspondiente, implicación)

Ir al texto