verifikácia ( logika)
- postup, ktorého výsledkom je zistenie, že daný výrok (36) je pravdivý ( L715;772).