【单选题】【消耗次数：1】
以特定的机构，对电子签名及其签署者的真实性进行验证的具有法律意义的服务即为（ ）。
①
认证
②
电子认证
③
交叉认证
④
PKI体系认证
参考答案：
复制
纠错
相关题目
随机题目
【多选题】
在全总个体域下，用一阶逻辑将命题“在北京卖菜的人不全是外地人”符号化不正确的有：
①
?x(G(x)), 其中, G(x): x 是外地人.
②
?x(F(x) ù?G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人.
③
?x(F(x) ?G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人.
④
$x(F(x) ? ?G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人.
【多选题】
用等值演算法推导公式“(pù?q) ú (qù?p)”和下面哪个公式等价:
①
(púq) ù? (pùq)
②
? (p?q)
③
? ((p?q) ù (q?p))
④
(púq) ù (?pù?q)
【多选题】
在全总个体域下，用一阶逻辑将命题“凡是汽车就比火车慢，这是不对的”符号化，下面正确的有
①
?xy(F(x) ùG(y) ?H(x,y)), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.
②
$x$y(F(x) ùG(y) ù?H(x,y) ), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.
③
?x (F(x) ?y (G(y) ?H(x,y))), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.
④
$x$y(F(x) ùG(y) ??H(x,y) ), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比 y 慢.
【多选题】
设个体域 D={a,b,c}, 消去谓词“xy(F(x) úG(y))”中的量词后的形式，下面不正确的有：
①
(F(a) ùF(b)) ùF(c)) ù (G(a) úG(b) úG(c))；
②
(F(a) ùF(b) ùF(c)) ú (G(a) ùG(b) ùG(c))
③
(F(a) ùF(b) ùF(c)) ? (G(a) ùG(b) ùG(c))；
④
(F(a) ùF(b) ùF(c)) ù (G(a) ùG(b) ùG(c)).
【简答题】
<img src="https://huaweicloudobs.ahjxjy.cn/DD4212B310FF0CCFA9B117F3B2C7EA7E.png" title="1.png" alt="1.png"/>
【简答题】
<img src="https://huaweicloudobs.ahjxjy.cn/3BF2E5A1789ACD1D2F338F91BCDE90CB.png" title="6.png" alt="6.png"/>
【简答题】
<img src="https://huaweicloudobs.ahjxjy.cn/44F3C3F9B13C1CE1CBBBF99B94969A43.png" title="3.png" alt="3.png"/>=[填空1]