计算机的语言包括0，1，2三种。

从正效率来看，现代逻辑的重要作用是推动了计算机的发明和创造。

判断题从正效率来看，现代逻辑的重要作用是推动了计算机的发明和创造。

数理逻辑是由布尔提出的。

判断题数理逻辑是由布尔提出的。

现代逻辑的思维层次是推理到命题再到概念。

判断题现代逻辑的思维层次是推理到命题再到概念。