--- He ____ in the library

must do是对现在的肯定推测中语气最强烈的。
A的语气不如B强烈
C表推测时只能用于否定句
D是对过去的肯定推测。

b

B. 表示推测，表示 他肯定在图书馆

A应该
C能够
D 应该去过

首先这几个选项都不存在语法错误：
a.这是一个完全中式的表达，我们知道西方是一个很讲逻辑的地方。这种主观意识的表达几乎没有。也就是说这个回答不精确。
c。表达可能性，表示他能出现在图书馆，而不一定在图书馆。按西方人的逻辑，这是一句废话。
d.表示他曾出现在图书馆，而现在不在了，并没回答问题。
再看b。一般中国学生不喜欢选过于绝对的选项。而着并不是西方人的习惯。因此适当了解一些西方文化是必要得。