Verzia z 23:40, 6. február 2007 upraviť Bronto (diskusia \| príspevky) 131 809 editací Bez shrnutí editace ← Predchádzajúca úprava		Verzia z 11:31, 3. máj 2009 upraviť vrátiť JagRoBot (diskusia \| príspevky) Boti 6 959 editací d Robot odstránil zbytočné pomenovanie odkazu Ďalšia úprava →
Riadok 1: '''Dôkaz''' je postupnosť viet, z ktorých každá je buď vetou nevyžadujúcou dôkaz ([[~~axióma\|~~axióma]] alebo [[~~predpoklad\|~~predpoklad]]), alebo predtým dokázanou vetou, alebo vetou vyplývajúcou (odvodenou) z predchádzajúcich viet ([[teoréma\|teorémou]]). Teorémou je aj posledná (dokazovaná) veta, tzv. téza dôkazu. Dôkaz je zisťovanie, či na základe už

Dôkaz (logika): Rozdiel medzi revíziami