Supongamos queA1,A2,…,Am∴C es un argumento válido que involucra variables de sentenciap1,p2,…,pℓ. Si aplicamos sustituciónpi→Bi a cada una d...Supongamos queA1,A2,…,Am∴C es un argumento válido que involucra variables de sentenciap1,p2,…,pℓ. Si aplicamos sustituciónpi→Bi a cada una deA1,A2,…,Am,C, para algunas colecciones de declaracionesB1,B2,…,Bℓ, entonces el argumento resultante también es válido.