Dôkaz (logika)

Dôkaz je postupnosť viet, z ktorých každá je buď vetou nevyžadujúcou dôkaz (axióma alebo predpoklad), alebo predtým dokázanou vetou, alebo vetou vyplývajúcou (odvodenou) z predchádzajúcich viet (teorémou). Teorémou je aj posledná (dokazovaná) veta, tzv. téza dôkazu. Dôkaz je zisťovanie, či na základe už prijatých formúl možno prijať aj formulu novú.

Dôkaz je logická operácia je predvedenie, preukázanie správnosti, pravdivosti (alebo pravdepodobnosti) súdu, (výroku, vety) prostredníctvom úsudkov, v ktorých dokazovaný súd vystúpi ako dôsledok už dokázaných súdov.