Un système de logique où la valeur exprimée est soit vraie (true), soit fausse (false), et qui est souvent utilisée pour déterminer le contrôle de flux dans les langages de programmation. Ce système porte le nom de George Boole (1815-1864), un mathématicien qui a apporté une contribution essentielle aux domaines de la logique et de l'algèbre.
Dans Verse, le type utilisé pour représenter ce qui est vrai (true) et faux (false) est logic. Cette logique booléenne est exécutée au moyen d'expressions faillibles dans des contextes d'échec.