Dôkaz (logika)

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

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[upraviť | upraviť zdroj]

Externé odkazy[upraviť | upraviť zdroj]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.