George Boole
ブール論理（ブールろんり、）は、古典論理のひとつで、その名称はブール代数ないしその形式化を示したジョージ・ブールに由来する。