Jak na nepřímý důkaz?
Nepřímý důkaz se dokazuje také pomocí implikace, ale obměněné. Když dokážeš, že platí obměněná implikace, tak se zároveň dokáže i platnost implikace původní.
Klasickou implikaci a \Rightarrow b nahradíš za obměněnou implikaci \neg b \Rightarrow \neg a
Někdy je výhodnější použít právě nepřímý důkaz, oproti důkazu přímému, protože je snadnější dokázat platnost obměněné implikace, oproti původní implikaci. Ale určitě to líp pochopíš na přikladu 2.