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

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

单项选择题 近代逻辑包括哪两方面的逻辑（）？