Substitutie (logica)