Dotcpp / 试卷列表 / 人工智能 / 题目 7832

公式(▽x)｛[(彐 y)(▽z)P(x,y,z)]=

公式(▽x)｛[(彐 y)(▽z)P(x,y,z)]=>(▽u)Q(x,u)｝，在消去蕴涵符号后，得到：（）

A. ～(▽x)｛[(彐 y)(▽z)P(x,y,z)] ∧(▽u)Q(x,u)｝

B. (▽x)｛～[(彐 y)(▽z)P(x,y,z)] ∧(▽u)Q(x,u)｝

C. (▽x)｛～[(彐 y)(▽z)P(x,y,z)] ∨(▽u)Q(x,u)｝

D. ～(▽x)｛[(彐 y)(▽z)P(x,y,z)] ∨(▽u)Q(x,u)｝

答案

题目信息

题号：7832

题型：单选题

知识点：人工智能

难度：普通

去题库练习