如图,在正三棱柱ABC﹣A′B′C′中,若AA′=2AB,则异面直线AB′与BC′所成角的余弦值为( )
p1:∃(x,y)∈D, ≥3 p2:∃(x,y)∈D, <1
p3:∀(x,y)∈D, <4 p4:∀(x,y)∈D, ≥2
其中的真命题是( )