“有的投票人(T(x))赞成(Z(x,y))所有的侯选人(H(y))”的谓词公式是()

2023-06-17

“有的投票人(T(x))赞成(Z(x,y))所有的侯选人(H(y))”的谓词公式是()

A.$x(T(x)∧"y(H(y)→﹁Z(x,y))

B.$x(T(x)∧"y(H(y)→Z(x,y))

C.$x(T(x)∧$y(H(y)→Z(x,y))

D.$x(T(x)∧"y(H(y)∧Z(x,y))



参考答案:

$x(T(x)∧"y(H(y)→Z(x,y))