展开 1854年,英国数学家布尔提出了符号逻辑的思想