“因为四边形ABCD是菱形，所以四边形ABCD的对角线互相垂直”，补充以上推理的大前提是________．在线课程菱形的对角线互相垂直
分析：用三段论形式推导一个结论成立，大前提应该是结论成立的依据，由四边形ABCD为菱形，得到四边形ABCD的对角线互相垂直的结论，得到大前提．
解答：用三段论形式推导一个结论成立，
大前提应该是结论成立的依据，
∵由四边形ABCD是菱形，所以四边形ABCD的对角线互相垂直的结论，
∴大前提一定是菱形的对角线互相垂直，
故答案为：菱形的对角线互相垂直．
点评：本题考查用三段论形式推导一个命题成立，要求我们填写大前提，这是常见的一种考查形式，属于基础题．