Um sistema de lógica em que o valor expresso é verdadeiro ou falso e que é frequentemente usado para determinar o controle de fluxo em linguagens de programação. O nome é uma homenagem a George Boole (1815-1864), um matemático que deu importantes contribuições para os campos da lógica e da álgebra.
Em Verse, este é o tipo usado para representar se verdadeiro e falso é lógico. Essa lógica booleana é realizada por meio de expressões falíveis em contextos de falha.