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.

Pozri aj 
 Dôkaz (matematika)

Externé odkazy 
 
 
Logika