Küme kuramının mantığına Boole mantığı denir. Boole mantığındaki temel fikir, bir doğruluk-değeri kavramıdır. Bir önermenin doğruluk-değeri, ya doğru veya yanlış oluşudur. Arada hiçbir şeye izin yoktur.
Önermeleri daha karmaşık önermeler içine birleştirmek için kurallar vardır; bunların en önemlileri veya, ve ,değil'dir.