İfade edilen değerin doğru veya yanlış olduğu ve genellikle programlama dillerinde akış denetimini belirlemek için kullanılan bir mantık sistemi. Bu sistem adını, mantık ve cebir alanlarına önemli katkılarda bulunan bir matematikçi olan George Boole’dan (1815-1864) almaktadır.
Verse’te, doğruyu ve yanlışı temsil etmesi için kullanılan bu tür mantıktır. Bu Boole mantığı, başarısızlık bağlamlarında başarısız olabilir ifadeler aracılığıyla gerçekleştirilir.