0 %
Jak funguje přímý důkaz?
Přímý důkaz se dokazuje implikací ve tvaru a \Rightarrow b (jestliže platí výrok a, pak platí i výrok b ). Samozřejmě to může mít i delší postup jako: a \Rightarrow a_{1} \Rightarrow a_{2} \Rightarrow a_{3} \Rightarrow \ldots \Rightarrow a_{n} \Rightarrow b. Jdeš z jednoho výroku na druhý, pak na třetí, čtvrtý až do n-tého, po kterém přijde výsledek. Obvykle se dokazuje nějaký výrok ve tvaru: „Jestliže platí výrok a, pak platí i výrok b." Snadněji to ale pochopíš na příkladu 1.