Loginis reiškinys, kurio reikšmė lemia tam tikrų veiksmų atlikimą: jei reiškinio reikšmė yra tiesa,– atliekami vieni veiksmai, jei netiesa,– kiti.

Kai sąlygą nusakančio reiškinio (atskiru atveju – loginio kintamojo) reikšmė yra tiesa, sakoma, kad sąlyga tenkinama, priešingu atveju – netenkinama.

Pavyzdžiai: ciklo sąlyga, sąlyginio sakinio sąlyga, variantinio sakinio sąlyga.