Sakinys (2), įrašytas į programą jos veikimui toje vietoje patikrinti.

Teiginio funkciją atlieka loginis reiškinys, kurio reikšmė, esant teisingai programai, turi būti tiesa. Naudojamas programos teisingumui patikrinti, ypač ją derinant. Paprastai vienas teiginys rašomas tikrinamų veiksmų pradžioje (priešsąlygis), kitas – tų veiksmų pabaigoje (posąlygis).