Důkaz

Z Wikipedie, otevřené encyklopedie

Slovo důkaz může mít několik významů

  • matematický důkaz - metoda prokazování pravdivosti matematických vět
  • formální důkaz ve výrokové či predikátové logice jako postup odvození určitého tvrzení z axiomů logického systému prostřednictvím posloupnosti postupně upravovaných výroků vycházejících z axiomů, na jejímž konci stojí dokazované tvrzení
  • v procesním právu může dle kontextu znamenat:
    • důkazní prostředek - prostředek, kterým lze zjistit stav věcí
    • podání důkazního prostředku o určité skutečnosti
    • poznatek získaný pomocí dokazování
  • obecně zdůvodnění pradivosti