A  B  C  D  E  F  G  H  I  J  L  M  N O  P  R  S  T  V

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)