D�kaz

d�kaz d�kaz (FT)

- logick� oper�cia, predvedenie, preuk�zanie spr�vnosti, pravdivosti (alebo pravdepodobnosti) s�du ( v�roku, vety) prostredn�ctvom �sudkov, v ktor�c dokazovan� s�d vyst�pi ako d�sledok u� dok�zan�ch s�dov.

D�kaz je �vaha sprev�dzaj�ca tvrdenie a maj�ca zabezpe�i� jeho platnos�; tvrdenie, ktor�ho platnos� sa d�kazom zabezpe�uje, sa naz�va teor�ma ( L606;19).