Cómo demostrar algo por el método de contradicción

Una proposición A implica otra proposición B si y sólo si no B implica no A. En esta propiedad se basa el método de demostración por contradicción.