Matematická věta o dělitelnosti
Dokaž, že platí výrok: \forall n \in \mathbb{N} platí, jestliže n^{2} není dělitelné dvěma \Rightarrow n není dělitelné dvěma.
Výrok je částečně platný.
Výrok platí pouze pro sudá čísla.
Výrok platí.
Výrok neplatí.
Na tento přiklad použiješ nepřímý důkaz. U vytváření obměněné implikace je důležité nesplést si, co kam patři. U implikace a \Rightarrow b musíš prohodit pozice a i b, a pak je znegovat, vznikne tak \neg \boldsymbol{b} \Rightarrow \neg \boldsymbol{a} (čti: „jestliže negace výroku \boldsymbol{b}, pak negace výroku \boldsymbol{a}^{\prime \prime} ). Novou získanou implikaci dokážeš stejným způsobem jako v přikladu 1 pomocí přímého důkazu.
🍪 Setzen Sie Ihre Unsichtbarkeitstarnung ⚡
Willkommen in der magischen Welt der Cookies! 🧙♂️ Wir verwenden sie, um dir das beste Erlebnis zu bieten und um zu verstehen, wie du mit unserer App zauberst. Keine Sorge, diese Cookies sind nicht von Bertie's Beans 1000 Times Different - sie sind dafür da, dass alles magisch funktioniert, damit wir unsere App weiter verbessern können. Deine Einstellungen sind für uns wie ein Zauberstab - du kannst sie jederzeit nachträglich ändern. Klicke einfach auf den Link "Cookies bearbeiten 🍪" in der Fußzeile und zaubere die Einstellungen genau nach deinem Geschmack. Wenn Sie mehr darüber wissen wollen, wie wir Cookies verarbeiten, finden Sie es auf dieser Seite.