解题思路：用三段论形式推导一个结论成立，大前提应该是结论成立的依据，由四边形ABCD为矩形，得到四边形ABCD的对角线互相相等的结论，得到大前提．
用三段论形式推导一个结论成立，
大前提应该是结论成立的依据，
∵由四边形ABCD是矩形，所以四边形ABCD的对角线相等的结论，
∴大前提一定是矩形都是对角线相等的四边形，
故选B．
点评：
本题考点： 进行简单的演绎推理．
考点点评： 本题考查用三段论形式推导一个命题成立，要求我们填写大前提，这是常见的一种考查形式，三段论中所包含的三部分，每一部分都可以作为考查的内容．