Důkaz o výroku pro číslo a
Dokaž, že platí výrok: jestliže a je menší než 1 a zároveň větší než 0 , pak a^{2} je menší než a.
Negace původní věty (tj. 0<a<1\implies a^2\leq a) neplatí, tudíž platí věta původní (tj. 0<a<1\implies a^2<a)
Negace původní věty (tj. 0<a<1\implies a^2\geq a) neplatí, tudíž platí věta původní (tj. 0<a<1\implies a^2<a)
Negace původní věty (tj. 0<a<1\implies a^2=a) neplatí, tudíž platí věta původní (tj. 0<a<1\implies a^2<a)
Negace původní věty (tj. 0<a<1\implies a^2>a) neplatí, tudíž platí věta původní (tj. 0<a<1\implies a^2<a)
U tohoto přikladu použiješ důkaz sporem. Ten spočívá v tom, že dokážeš neplatnost znegovaného výroku, který je zadaný. Nejdříve si větu přepíšeš do jazyka matematiků zapsanou pomocí implikace. Tu následně zneguješ a pomocí přímého důkazu dokážeš neplatnost výroku.
🍪 Ustaw pelerynę niewidzialności ⚡
Witamy w magicznym świecie ciasteczek! 🧙♂️ Używamy ich, aby zapewnić Ci najlepsze wrażenia i zrozumieć, w jaki sposób tworzysz magię za pomocą naszej aplikacji. Nie martw się, te pliki cookie nie pochodzą od Bertie's Beans 1000 Times Different - są tutaj, aby wszystko działało magicznie, abyśmy mogli stale ulepszać naszą aplikację. Twoje preferencje są dla nas jak magiczna różdżka - możesz je zmienić w dowolnym momencie. Wystarczy kliknąć link w stopce o nazwie "Edytuj pliki cookie 🍪" i wyczarować ustawienia dokładnie według własnych upodobań. Jeśli chcesz dowiedzieć się więcej o tym, jak przetwarzamy pliki cookie, możesz to znaleźć na tej stronie.