Pierādījumu pareizību, apzīmējums, kas norāda, ka programma izvades apgalvojumus sekojiet loģiski no tās apgalvojumus ievades un apstrādes soļus.