System logiczny, w którym wyrażona wartość jest prawdziwa (true) lub fałszywa (false) i który jest często używany do określania sterowania przepływem w językach programowania. Został on nazwany imieniem George'a Boole'a (1815–1864), matematyka, który wniósł kluczowy wkład w rozwój logiki i algebry.
W języku Verse typem używanym do reprezentowania wartości true i false jest logic. Ta logika boolowska jest realizowana przez wyrażenia zawodne w kontekstach niepowodzenia.