【谓词演算】离散数学问题
例子:没有不犯错误的人.┐存在x(P(x)∧任意y(M(y)→┐L(x,y)))
1.尽管有人能干,但未必一切人能干.
2.并非“人为财死,鸟为食亡.”
3.若要人不知,除非己莫为.
居然没人会...斧头同学的明显错了