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