Un sistema de lógica en el que el valor expresado es verdadero o falso, y que a menudo se usa para determinar el flujo de control en lenguajes de programación. Se denomina así por George Boole (1815–1864), un matemático que realizó contribuciones clave en los campos de lógica y álgebra.
En Verse, este es el tipo que se usa para representar verdadero (true) y falso (false) es logic. Esta lógica booleana se lleva a cabo a través de expresiones falibles en contextos de fallo.