0 %
Ako funguje priamy dôkaz?
Priamy dôkaz sa dokazuje implikáciou v tvare \( A \Rightarrow B \) (ak platí výrok \( A \), potom platí aj výrok \( B \) ). Môže to, samozrejme, mať aj dlhší postup ako: \( A \Rightarrow A_{1} \Rightarrow A_{2} \Rightarrow A_{3} \Rightarrow \ldots \Rightarrow A_{n} \Rightarrow B \). Ideš \( z \) jedného výroku na druhý, potom na tretí, štvrtý až do \( n \)-tého, po ktorom príde výsledok. Zvyčajne sa dokazuje nejaký výrok v tvare: „Ak platí výrok A, potom platí aj výrok B.“ Jednoduchšie to ale pochopíš na príklade 1.