設
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) )