Как доказать, что утверждение "если

, то

" ложно?
Я могу только так: если

действительно равен

--м, то

(а это истинно по какой-то из аксиом или какому-то определению).
Утверждения

и

взаимно противоположные (как доказать? или это очевидно?), а, следовательно, при истинности

ложно утверждение

-> исходное утверждение ложно (истина влечёт ложь).
А тут у меня появляется другая импликация. Её истинность ведь тоже нужно доказать...
В общем, мне очень хочется понять, как доказать это утверждение строго. То есть, действительно строго, без всяких допущений на очевидность некоторых положений.
Это не есть одна из реальных задач, которые я изучаю. Просто, как промежуточный этап, нужно чёткое понимание в этом моменте.