逻辑学科只需要回答一个推理在结构上是否有效，论点是否正确即可。

哥德尔和希尔伯特都主要从事语言逻辑学研究。

判断题哥德尔和希尔伯特都主要从事语言逻辑学研究。

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

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

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

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