Cada argumento o derivación, A1, A2,…An⊢B se puede reexpresar como un enunciado condicional con la forma (A1 A2 … An)→B denominada condicional correspondiente del argumento. (v. argumento correspondiente)