Substitutional validity requires that no uniform substitution of non-logical terms produces a true p...