下列四个命题中的真命题为（ ）
A：∃x0∈R，使得sinx0﹣cosx0=﹣1.5
B：∀x∈R，总有x2﹣2x﹣3≥0
C：∀x∈R，∃y∈R，y2＜x
D：∃x0∈R，∀y∈R，y•x0=y
翻译下列句子。
已知整数x满足0≤x≤5，y1=x+2，y2=-2x+5，对任意一个x，y1，y2中的较大值用m表示，则m的最小值是（ ）
