单项选择题 逻辑是关于（）的学问

判断题 现代逻辑使用的是自然语言

判断题 布尔的重要贡献是发现了一加一不等于二，而是等于一的逻辑代数。