Loginis reiškinys, parašytas po kurio nors programos sakinio (sakinių grupės), kurio reikšmė turi būti tiesa atlikus tą sakinį (sakinių grupę).

Plg. priešsąlygis.