【多选题】
令 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)).
【多选题】
个体域为整数集, 公式“x$y(x×y = 1)”翻译成自然语言,下面合适的有
②
“对于每个整数, 都能找到另一个整数, 它们相乘结果是1.”
③
“对任意非零整数, 都能找到另一个整数, 使得它们相乘结果等于1.”
④
“对于任意整数 x, 都存在整数 y, 使得 x×y = 1.”