Un sistema de lógica en el que el valor expresado es true o false, y que se utiliza a menudo para determinar el control del flujo en los lenguajes de programación. Lleva el nombre de George Boole (1815-1864), matemático que contribuyó de forma decisiva a los campos de la lógica y el álgebra.
En Verse, el tipo utilizado para representar true y false es logic. Esta lógica booleana se aplica mediante expresiones que pueden fallar en contextos de fallo.