【判断题】
令 F(x): x 喜欢步行, G( x): x 喜欢骑自行车, H(x): x 喜欢乘汽车，令前提: x(F(x) ? ?G(x)), x(G(x) ú H(y)), $x?H(x)，则 xG(x) 是其有效结论。
①
正确
②
错误
【多选题】
令 F(x): x 是角, H(x, y): x 和 y 是相等的, L(x, y): x 与 y 是对顶角，则命题“相等的两个角未必都是对顶角”符号化不正确的有：
①
$x(F(x) ù ($y(F(y) ù H(x, y) ù ?L(x, y))).
②
xy(F(x) ù F(y) ù H(x, y) ? ? L(x, y))
③
$x(F(x) ù ($y(F(y) ù H(x, y) ? ?L(x, y))).
④
xy(F(x) ù F(y) ù H(x, y) ù ? L(x, y)).
【单选题】
以下程序段的运行结果是（ ）。
for(y=1;y) y=((x=3*y,x+1),x-1);
printf(x=%d,y=%d,x,y);
①
x=27,y=27
②
x=12,y=13
③
x=15,y=14
④
x=y=27