Матанализ: импликация и следование

В чём разница между импликацией и следованием в матанализе? → =>

Импликация – это логическая операция между логическими величинами, результатом которой может быть одна из двух возможных логических констант.
Следование – ситуация, когда результат импликации истинный.

Какой профильный учебник по математике лучше для глубокого и качественного изучения Мордкович или учебник Пратусевича-Столбова-Головина (оба 10-11)?
Я старшеклассник,хочу повторить и более глубоко изучить математику 10-11 (начала и основа матана),пытаюсь найти учебник удовлетворяющий мои запросы.
А может сразу взяться за вузовский матанализ?Но думаю будут термины и темы,которые не изучались в школе и будут использоваться в вузовских книгах,вот и колеблюсь.

Преподаватель из финика спб