Strengthening measures of innovations on English logic teaching