0 %
Ako na nepriamy dôkaz?
Nepriamy dôkaz sa dokazuje pomocou obmeny implikácie. Keď dokážeš, že platí obmena implikácie, tak sa zároveň dokáže aj platnosť pôvodnej implikácie.
Klasickú implikáciu \( A \Rightarrow B \) nahradíš za obmenu implikácie \( \neg B \Rightarrow \neg A \).
Niekedy je výhodnejšie použiť práve nepriamy dôkaz, namiesto priameho dôkazu, pretože je ľahšie dokázať platnosť obmenenej implikácie, namiesto pôvodnej implikácie. Ale určite to lepšie pochopíš na 2. príklade.