Důkaz není jen domněnka podložená důkazy. Toto je formální úvaha, která potvrzuje pravdivost tvrzení. Když lidé používají slovo „důkaz“, obvykle mají na mysli něco přísného. Hledají dedukce, která nedává prostor pro pochybnosti.
Ve světě formálních axiomatických systémů je vše extrémně přesné. Důkaz je zde definován jako konečná posloupnost správně vytvořených vzorců. Tyto vzorce se musí řídit přijatými pravidly výchovy. Pokud porušíte pravidla, sekvence již není důkazem.
Struktura je přísně regulována. Každý vzorec v posloupnosti musí splňovat jedno ze dvou kritérií. Za prvé to může být axiom. Výchozími body jsou axiomy. Jsou přijímány bez dokladu. Za druhé, vzorec může být odvozen z předchozích vzorců. Toto odvození musí používat platné pravidlo odvození. Nemůžete přeskakovat kroky. Nemůžete předpokládat, co je třeba dokázat.
Cíl je konkrétní. Úplně poslední vzorec v pořadí je ten, který chcete dokázat. Vše, co tomu předchází, podporuje tento konečný závěr. Pokud je logika správná, je tvrzení považováno za pravdivé.
Ne všechny důkazy se opírají o stejnou logiku. Některé jsou založeny na induktivním uvažování. Indukce studuje vzorce a dělá zobecnění. Ale ve formální logice a matematice termín „důkaz“ implikuje přísnou dedukce. Dedukce přechází od obecných principů ke konkrétním závěrům. Zaručuje pravdivost, pokud jsou premisy pravdivé.
Někdy důkaz rozdělí problém na části. Toto je známé jako důkaz protikladem nebo důkaz od případu. Tato metoda se v některých kontextech nazývá také dilema a řeší složité scénáře tak, že každou možnost zvažuje samostatně. Dokazujete výsledek pro případ A. Dokazujete jej pro případ B. Pokud jeden z těchto případů musí být pravdivý, platí i celkové tvrzení.
Hodnota důkazů spočívá v jejich spolehlivosti. Ve vědě se důkazy hromadí. V matematice a logice poskytuje důkaz konečnost. Ukazuje proč něco je pravda. Neříká jen, že to tak je. Prochází všemi kroky. Nutí čtenáře souhlasit se závěrem.
Tento proces vyžaduje disciplínu. Musíte dodržovat pravidla pro vytváření vzorců. Musíte použít platná pravidla odvození. Měli byste skončit prohlášením o cíli. Pokud přeskočíte krok, důkaz se zhroutí. Pokud použijete neplatné pravidlo odvození, výsledek postrádá smysl.
Jak to tedy napsat? Začnete axiomy. Aplikujete pravidla odvození. Vytváříte sekvenci. Kontrolujete každý krok. Doufáte, že poslední vzorec odpovídá tomu, který jste se rozhodli dokázat. Jedná se o mechanický proces. Ale vede to k hlubokým pravdám.
Proč je to důležité? Protože to odlišuje víru od vědění. V každodenním životě přijímáme věci založené na důvěře. V logice přijímáme věci založené na důkazech. Rozdíl je zřejmý. Jedna je subjektivní. To druhé je objektivní.
Existují důkazy pro každou otázku? Ne. Některé výroky jsou v rámci tohoto systému nerozhodnutelné. Ale pro ty, které lze prokázat, je metoda jasná. Toto je poslední sekvence. Je přísně regulována. Má pravdu.
Historie logiky je plná debat o tom, co se počítá jako důkaz. Různé systémy mají různé axiomy. Odlišná pravidla pro výběr. Ale základní myšlenka zůstává stejná. Důkaz potvrzuje správnost. Spojuje známé s neznámým. Staví most od axiomu k závěru.
Pro studenty a studenty celoživotního vzdělávání je pochopení této struktury klíčové. Mění to způsob, jakým přistupujete k problémům. Přestaň hledat
