设
设
D.全总个体域,M(x):x是人,F(x):x犯错误。则命题“没有不犯错误的人”的逻辑符号化为()
A.";x(M(x)∧F(x) )
B.";x(M(x) → F(x) )
C.$x(M(x) → P(x) )
D.$x(M(x)∧P(x) )
正确答案:";x(M(x) → F(x) )
设
D.全总个体域,M(x):x是人,F(x):x犯错误。则命题“没有不犯错误的人”的逻辑符号化为()
A.";x(M(x)∧F(x) )
B.";x(M(x) → F(x) )
C.$x(M(x) → P(x) )
D.$x(M(x)∧P(x) )
正确答案:";x(M(x) → F(x) )
相关答案
热门答案