“不到长城非好汉” 不是祈使句，而是一个充分条件的假言判断。以下是对这句话的详细解释：

假言判断

这句话是一个充分条件的假言判断，形式为“如果P，那么Q”。在这里，P是“不到长城”，Q是“不是好汉”。

逻辑结构

根据充分条件假言判断的规则，“如果P，那么Q”可以拆解为两个命题：

肯定前件（P）：如果到了长城，那么就是好汉。

否定后件（¬Q）：如果不是好汉，那么就到过长城。

选项分析

A. 到了长城的人就一定是好汉：这个选项错误，因为原句只是说“不到长城就不是好汉”，并没有说“到了长城就一定是好汉”。

B. 如果是好汉，他一定到过长城：这个选项正确，因为根据假言判断的规则，否定后件（¬Q）可以推出否定前件（¬P），即如果不是好汉，那么就到过长城，反过来说，如果是好汉，那么一定到过长城。

C. 只有好汉，才到过长城：这个选项错误，因为原句并没有提到“只有”这个限定词。

D. 不到长城，也会是好汉：这个选项错误，因为原句明确表示“不到长城就不是好汉”。

综上所述，“不到长城非好汉”是一个充分条件的假言判断，而不是祈使句。