Loginis reiškinys, kuris rašomas prieš kurį nors programos sakinį² arba sakinių grupę ir kurio reikšmė yra „tiesa“ („true“) prieš atliekant tą sakinį ar sakinių grupę.

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ę).

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

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

Sakinys, į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).

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.

Valdymo konstrukcija (struktūra), apibrėžianti sąlygą ir veiksmus, kurie turi būti atliekami priklausomai nuo to, ar sąlyga tenkinama, ar ne.
Naudojamas programavimo kalbose, kai reikia nusakyti veiksmų parinkimą – šakojimą. Paprastai tiesiogiai sąlyginiu sakiniu nusakomas vieno veiksmo parinkimas iš dviejų. Norint parinkti vieną veiksmą iš daugiau negu dviejų veiksmų, tenka šiuos veiksmus išreikšti keliais sąlyginiais sakiniais arba vartoti bendresnę konstrukciją – variantinį sakinį.
Dažniausiai sąlyginis sakinys pradedamas baziniu žodžiu IF, po kurio rašoma sąlyga (loginis reiškinys) ir dvi pasirenkamųjų veiksmų šakos. Viena jų pradedama baziniu žodžiu THEN (po jo rašomi veiksmai, kurie atliekami, kai sąlyga tenkinama), kita – žodžiu ELSE (po jo rašomi veiksmai, kurie atliekami, kai sąlyga netenkinama).
Sąlyginis sakinys gali būti pavaizduotas schemomis.