A-A+
设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)为真
C.必有一个y∈Ω,使得命题F(x)∧G(x)为假
D.对所有的x∈Ω,命题F(x)∨G(x)都为真
参考答案
必有一个 y ∈ Ω ,使得命题 F( y ) ∨ G( y ) 为真;必有一个 y ∈ Ω ,使得命题 F( y ) 为真或 G( y ) 为真;必有一个 y ∈ Ω ,使得命题 F( x ) ∧ G( x ) 为假