Cada argumento o derivación, A₁, A₂,...A_nB se puede reexpresar como un enunciado condicional con la forma (A₁ A₂ ... A_n)→B denominada condicional correspondiente del argumento.

(v. argumento correspondiente)

Ir al texto