Ein logisches System, bei dem der ausgedrückte Wert entweder True oder False ist, und das häufig verwendet wird, um die Flusssteuerung in Programmiersprachen zu bestimmen. Diese ist nach George Boole (1815–1864) benannt, einem Mathematiker, der maßgeblich zu den Bereichen Logik und Algebra beigetragen hat.
In Verse ist dies der Typ, mit dem True und False als Logik dargestellt werden. Diese Boolesche Logik wird durch fehlbare Ausdrücke in Fehlerkontexten ausgeführt.