• 2022-06-07
    设F(x):x为有理数,G(x):x为自然数,命题“有理数不全是自然数”的符号化形式为
    A: ┐∀x(F(x)®G(x))
    B: ∃x(F(x)Ù┐G(x))
    C: ∃x(F(x)®G(x))
    D: ∀x(F(x)ÙG(x))