下面的图形中，是轴对称图形的是（ ）
A：
B：
C：
D：
P1：∀（x，y）∈D，x+y+1≥0；
P2：∀（x，y）∈D，2x﹣y+2≤0；
P3：∃（x，y）∈D， y+1x−1 ≤﹣4；
P4：∃（x，y）∈D，x2+y2≤2．
其中真命题的是（ ）
