提出了万能符号和推理计算的思想是（）提出的。

提出了万能符号和推理计算的思想是（）提出的。
A、布尔（C.Boole）
B、培根（F.Bacon）
C、莱布尼茨（G.W.Leibniz）
D、亚里士多德（Aristotle）
正确答案：莱布尼茨（G.W.Leibniz）