Если утверждение имеет вид «Если верно высказывание
A, то верно высказывание
B», то метод от противного состоит в следующем:
строится отрицание данного утверждения, то есть предполагается, что высказывание B ложно;
с помощью логических переходов приходят к высказыванию, которое противоречит высказыванию A;
делается вывод, что утверждение B верно.