a system of symbolic logic devised by George Bool

• 乔治·布尔发明的符号逻辑系统