Valintalauseissa joudutaan tarkastelemaan loogisia lausekkeita ja niiden totuusarvoja. Totuusarvoja on tasan kaksi, tosi ja epätosi (true ja false), jotka useimmiten vastaavat arvoja kyllä ja ei.
Loogiset lausekkeet rakennetaan usein vertailuoperaattoreilla, joiden avulla pyritään selvittämään kahden lausekkeen samuus tai erilaisuus. Yleisimmät vertailuoperaattorit ovat: yhtä suuri kuin, eri suuri kuin, suurempi kuin, suurempi tai yhtä suuri kuin, pienempi kuin ja pienempi tai yhtä suuri kuin. Vertailun tulos lukujen kohdalla määräytyy totutun käytännön mukaisesti. Merkkitiedon kohdalla useimmiten suuruusjärjestyksen perustana käytetään aakkosjärjestystä.
Looginen lauseke "4 on pienempi tai yhtä suuri kuin 7" saa totuusarvon tosi. Jos lauseke asetetaan kysymyksen muotoon "Pitääkö paikkansa, että 4 on pienempi tai yhtä suuri kuin 7?" tai muotoon "Onko 4 pienempi tai yhtä suuri kuin 7?", niin vastauksena on tällöin "kyllä".
Vastaavasti lauseke "merkkijono 'Ville' on pienempi kuin merkkijono 'Kalle'" saa totuusarvokseen epätosi, mikäli merkkijonojen vertaamiseen käytetään edellä mainittua aakkosjärjestystä.