【单选题】
如下所示的这段CSS样式代码，定义的样式效果是（ ）。a:link {color: #ff0000;} a:visited {color: #00ff00;}a:hover {color: #0000ff;}a:active {color: #000000;}其中#ff0000为红色，#00000为黑色，#0000ff为蓝色， #00ff00为绿色
①
A. 默认链接色是绿色，访问过链接是蓝色，鼠标上滚链接是黑色，活动链接是红色
②
B. 默认链接色是蓝色，访问过链接是黑色，鼠标上滚链接是红色，活动链接是绿色
③
C. 默认链接色是红色，访问过链接是绿色，鼠标上滚链接是蓝色，活动链接是黑色
④
D. 默认链接色是黑色，访问过链接是红色，鼠标上滚链接是绿色，活动链接是蓝色
【单选题】
在全总个体域下，用一阶逻辑将命题“乌鸦都是黑色的”符号化为
①
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(F(x)), 其中, F(x): x 乌鸦是黑色的.
②
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />x(F(x)), 其中, F(x): x 乌鸦是黑色的.
③
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(F(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/F388E7EE9892B38FECEEB653227F230A.png data-tex=\mapsto />G(x)), 其中, F(x): x 是乌鸦, G(x): x 是黑色的.
④
<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />x(F(x) <img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/D50FEE5510C853C83F78D440017D8E6B.png data-tex=\wedge />G(x)), 其中, F(x): x 是乌鸦, G(x): x 是黑色的.