igazolás

Rövid szöveges bemutatás: 
Az igazolás fogalmat az MI területében is az általános értelemben alkalmazzák. Azaz, egy "A" állításnak létezik igazolása, ha lehet mutatni olyan állításokat, melyekből az "A" állítás egyértelműen következik. Ilyenkor azokat az állításokat melyekből az "A" állítás következik, bizonyítékoknak nevezzük. Magát a folyamatot nevezzük igazolásnak. Ennek legkülönfélébb felhasználási köre ismert, bármely állításra tetszőlegesen használható.