已知结论“函数y＝2x＋5的图象是一条直线”，若将其恢复成完整的三段论后，大前提是．