Une expression booléenne est une expression qui donne une valeur booléenne (vrai ou faux). Par exemple, la valeur pour 5 > 3 est vrai et la valeur pour 5 < 4 est faux.
Les expressions booléennes sont utilisée pour le contrôle (Le mot contrôle peut avoir plusieurs sens. Il peut être employé comme synonyme d'examen, de...) de flot et pour la sélection parmi un ensemble (En théorie des ensembles, un ensemble désigne intuitivement une collection...) de valeurs selon un prédicat (Les prédicats d’une théorie sont les formules qui contiennent des variables libres.).