Cada enunciado condicional, AB, 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