设x是某个体域Ω中的一个个体,F(x)和G(x)是两个关于x的命题,则命题?x(F(x)∨G(x))的含义是()。


设x是某个体域Ω中的一个个体,F(x)和G(x)是两个关于x的命题,则命题?x(F(x)∨G(x))的含义是()。

A.必有一个y∈Ω,使得命题F(y)∨G(y)为真

B.必有一个y∈Ω,使得命题F(y)为真或G(y)为真


Tag:人工智能导论 命题 含义 时间:2022-03-05 15:09:42